Theorem Finsupp.DegLex.monotone_degree

Modification history