Def LinearMap.selfAdjointSubmodule

Modification history