Theorem LinearMap.BilinForm.IsSymm.polarization

Modification history