Theorem Finsupp.DegLex.single_le_iff

Modification history