Theorem NumberField.IsCMField.units_rank_eq_units_rank

Modification history

2025-06-05 09:09
Mathlib/NumberTheory/NumberField/CMField.lean
chore(NumberField.CMField): Fix some proofs (#25457) …
Added NumberField.IsCMField.units_rank_eq_units_rankView on Github →