Theorem Finsupp.Lex.single_strictAnti

Modification history