Theorem LinearMap.BilinForm.orthogonal_le

Modification history