Theorem LinearMap.BilinForm.IsAdjointPair.mul

Modification history