Theorem LinearMap.BilinForm.IsAdjointPair.add

Modification history