Theorem Finsupp.DegLex.single_strictAnti

Modification history