Theorem NumberField.not_dvd_discr_iff_forall_mem

Modification history

2026-05-07 17:04
Mathlib/NumberTheory/NumberField/Discriminant/Different.lean
feat(NumberTheory): every number field has a ramified prime (#30666)
Added NumberField.not_dvd_discr_iff_forall_memView on Github →