Theorem Ideal.powQuotSuccInclusion_injective

Modification history