Theorem Finsupp.degree_single

Modification history