Theorem LinearMap.BilinForm.orthogonal_orthogonal

Modification history