Theorem SimpleGraph.Subgraph.coe_bot

Modification history