Theorem SimpleGraph.top_adj

Modification history