Theorem Finsupp.sigmaFinsuppAddEquivPiFinsupp_apply

Modification history