Theorem equivShrink_symm_smul

Modification history