Theorem Finsupp.erase_zero

Modification history