Theorem Equiv.symm_comp_self

Modification history