Theorem LinearMap.BilinForm.exists_bilinForm_self_ne_zero

Modification history