Theorem sigmaFinsuppEquivDfinsupp_apply

Modification history