Theorem SimpleGraph.isClique_map_iff

Modification history