Theorem BilinForm.isAdjointPair_zero

Modification history