Theorem DFinsupp.equivProdDFinsupp_add

Modification history