Theorem equivShrink_bot

Modification history