Loading paper
Planar graphs without 4-cycles adjacent to triangles are DP-4-colorable | Tomesphere