Theorem Prod.Lex.toLex_mono

Modification history