Theorem Ideal.quotientToQuotientRangePowQuotSucc_surjective

Modification history