Theorem LinearMap.BilinForm.IsSymm.baseChange

Modification history