Theorem SimpleGraph.le_comap_of_subsingleton

Modification history