Theorem BilinForm.le_orthogonal_orthogonal

Modification history