Theorem Finsupp.sigmaFinsuppEquivPiFinsupp_apply

Modification history