Theorem Ideal.Quotient.algebraMap_injective_of_liesOver

Modification history