Theorem Sum.Lex.inl_mono

Modification history