Theorem DFinsupp.toFinsupp_neg

Modification history