Theorem orderIsoShrink_symm_apply

Modification history