Theorem SimpleGraph.fromRel_adj

Modification history