Def Submodule.isIdempotentElemEquiv

Modification history