Theorem SimpleGraph.Iso.comap_symm_apply

Modification history