Theorem Ideal.algebraMap_quotient_injective

Modification history