Theorem SimpleGraph.Subgraph.image_coe_edgeSet_coe

Modification history