Theorem DFinsupp.erase_add

Modification history