Def LinearMap.BilinForm.dualSubmodule

Modification history