Theorem sigmaFinsuppEquivDFinsupp_smul

Modification history