Def algEquivShrink

Modification history