Theorem Equiv.conj_symm

Modification history