Theorem LinearMap.BilinForm.le_orthogonal_orthogonal

Modification history