Theorem Finsupp.DegLex.single_antitone

Modification history