Def NumberField.mixedEmbedding.logMap

Modification history

2025-03-10 09:18

Mathlib/NumberTheory/NumberField/CanonicalEmbedding/FundamentalCone.lean

chore(NumberField/Units/DirichletTheorem): add `logSpace` (#22590) …

Modified NumberField.mixedEmbedding.logMap View on Github →

2024-09-16 17:23

Mathlib/NumberTheory/NumberField/CanonicalEmbedding/FundamentalCone.lean

feat(NumberField/CanonicalEmbedding/FundamencalCone): define the logMap (#16763) …

Added NumberField.mixedEmbedding.logMap View on Github →