Theorem Prime.isMaximal_span_singleton

Modification history

2026-05-07 17:04
Mathlib/RingTheory/KrullDimension/Basic.lean
feat(NumberTheory): every number field has a ramified prime (#30666)
Added Prime.isMaximal_span_singletonView on Github →