Theorem SimpleGraph.Iso.map_apply

Modification history