Theorem PiLp.basisFun_eq_pi_basisFun

Modification history