Theorem equivShrink_symm_sub

Modification history