Theorem BilinForm.toMatrix_compRight

Modification history