Theorem PadicInt.maximalIdeal_eq_span_p

Modification history