Theorem SimpleGraph.Subgraph.not_bot_adj

Modification history