Theorem Equivalence.symmetric

Modification history