Theorem SimpleGraph.comap_symm

Modification history