Theorem Finsupp.degree_zero

Modification history