Theorem Ideal.torsionOf_eq_span_pow_pOrder

Modification history