Theorem SimpleGraph.isNClique_map_iff

Modification history