Theorem LinearMap.BilinForm.isCompl_orthogonal_of_restrict_nondegenerate

Modification history