Theorem Finsupp.DegLex.single_lt_iff

Modification history