Loading paper
Every planar graph without 4-cycles adjacent to two triangles is DP-4-colorable | Tomesphere