Def LinearMap.BilinForm.selfAdjointSubmodule

Modification history