Theorem LinearMap.BilinForm.isAdjointPair_iff_eq_of_nondegenerate

Modification history