Theorem Sum.Lex.inr_lt_inr_iff

Modification history