Def Submodule.equivOpposite

Modification history