Theorem Finsupp.Lex.single_antitone

Modification history