Theorem Ideal.Quotient.algebraMap_quotient_pow_ramificationIdx

Modification history