Theorem Equiv.graph_inv

Modification history