Theorem Equiv.simpleGraph_trans

Modification history