Theorem Sum.Lex.mono_left

Modification history