Theorem equivShrink_symm_top

Modification history