Theorem LinearMap.BilinForm.restrict_nondegenerate_of_isCompl_orthogonal

Modification history