Theorem Finsupp.Lex.single_lt_iff

Modification history