Theorem SimpleGraph.isContained_iff_exists_iso_subgraph

Modification history