Theorem BilinForm.apply_eq_dotProduct_toMatrix_mulVec

Modification history