Def Submodule.IsFullyInvariant

Modification history