Theorem BilinForm.nondegenerateRestrictOfDisjointOrthogonal

Modification history