Theorem BilinForm.restrictOrthogonalSpanSingletonNondegenerate

Modification history