Theorem LinearMap.BilinForm.toMatrixAux_stdBasis

Modification history