Theorem equivShrink_top

Modification history