2026-10-07 11:50
Mathlib/NumberTheory/NumberField/InfinitePlace/Ramification.lean
chore: rename `unramifedPlacesOver_ncard_add_eq_finrank` to `unramifiedPlacesOver_ncard_add_eq_finrank` (#44522) …
Added NumberField.InfinitePlace.unramifiedPlacesOver_ncard_add_eq_finrank