Theorem Finsupp.erase_idem

Modification history