Theorem SimpleGraph.map_adj

Modification history