Def Submonoid.powLogEquiv

Modification history