Theorem Equiv.symm_simpleGraph

Modification history