Theorem DFinsupp.support_update_ne_zero

Modification history