Theorem Pi.basisFun_det

Modification history