Def BilinForm.isPairSelfAdjointSubmodule

Modification history