Theorem SimpleGraph.inf_adj

Modification history