Theorem BilinForm.isPairSelfAdjoint_equiv

Modification history