Theorem SimpleGraph.Iso.coe_comp

Modification history