Theorem Matrix.toLinearMap₂_basisFun

Modification history