Theorem OrderIso.sumLexAssoc_symm_apply_inr_inr

Modification history