Theorem Finsupp.sigmaFinsuppLEquivPiFinsupp_apply

Modification history