Theorem LinearMap.BilinForm.isAdjointPair_unique_of_nondegenerate

Modification history