Theorem LinearMap.toMatrix₂_basisFun

Modification history