Theorem OrderIso.symm_apply_eq

Modification history