Theorem SimpleGraph.Iso.map_symm_apply

Modification history