Def Ideal.powQuotPowSuccLinearEquivMapMkPowSuccPow

Modification history