Theorem equivShrink_neg

Modification history