Theorem LinearMap.BilinForm.nondegenerateRestrictOfDisjointOrthogonal

Modification history