Theorem SimpleGraph.isClique_map_image_iff

Modification history