Theorem Basis.coePiBasisFun.toMatrix_eq_transpose

Modification history