Theorem OrderIso.sumLexAssoc_apply_inr

Modification history