Theorem bijective_algebraMap_int_of_finite_of_unramified

Modification history

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