Theorem Finsupp.update_idem

Modification history