Theorem NumberField.IsCMField.exists_isConj

Modification history

2025-12-01 18:53
Mathlib/NumberTheory/NumberField/CMField.lean
chore(CMField): generalize definitions and results (#31811) …
Modified NumberField.IsCMField.exists_isConjView on Github →
2025-09-18 14:30
Mathlib/NumberTheory/NumberField/CMField.lean
chore(NumberField/CMField): refactor (#29746) …
Added NumberField.IsCMField.exists_isConjView on Github →