Theorem PiLp.basisFun_equivFun

Modification history