Def Ideal.quotEquivPowQuotPowSuccEquiv

Modification history