Theorem equivShrink_symm_bot

Modification history