Theorem LinearMap.BilinForm.toMatrixAux_apply

Modification history