Theorem SimpleGraph.leftInverse_comap_map

Modification history