Theorem SimpleGraph.iInf_adj

Modification history