Theorem BilinForm.mem_isPairSelfAdjointSubmodule

Modification history