Theorem Ideal.Quotient.smul_top

Modification history