Theorem Equiv.symm_comp_eq

Modification history