Theorem LinearMap.BilinForm.ext_iff_of_isSymm

Modification history