Theorem LinearMap.BilinForm.isAdjointPair_zero

Modification history