Theorem LinearMap.BilinForm.separatingLeft_of_anisotropic

Modification history