Def Ideal.powQuotPowSuccEquivMapMkPowSuccPow

Modification history