Theorem LinearMap.BilinForm.polarBilin_toQuadraticForm

Modification history