Theorem BilinForm.toMatrixAux_stdBasis

Modification history