Def OrderIso.isIdempotentElemMulZeroAddOne

Modification history