Theorem BilinForm.IsAdjointPair.comp

Modification history