Theorem Ideal.Quotient.torsionBy_eq_span_singleton

Modification history