Theorem NumberField.IsCMField.equivInfinitePlace_apply

Modification history

2025-12-01 18:53
Mathlib/NumberTheory/NumberField/CMField.lean
chore(CMField): generalize definitions and results (#31811) …
Modified NumberField.IsCMField.equivInfinitePlace_applyView on Github →
2025-10-10 08:52
Mathlib/NumberTheory/NumberField/CMField.lean
feat(NumberField/IsCM): compute ratio of regulators (#26104) …
Added NumberField.IsCMField.equivInfinitePlace_applyView on Github →