Theorem Sum.Lex.inl_lt_inr

Modification history