Theorem LinearMap.BilinForm.nondegenerate_restrict_iff_disjoint_ker

Modification history