Theorem SimpleGraph.compl_adj

Modification history