Theorem orderIsoShrink_apply

Modification history