Theorem SimpleGraph.Subgraph.coe_isContained

Modification history