Theorem LinearMap.BilinForm.isAdjointPairLeftAdjointOfNondegenerate

Modification history