Theorem BilinForm.mem_selfAdjointSubmodule

Modification history