Theorem PadicInt.ideal_eq_span_pow_p

Modification history