Theorem NumberField.mixedEmbedding.convexBodyLTFactor_pos

Modification history

2024-02-14 07:40
Mathlib/NumberTheory/NumberField/CanonicalEmbedding.lean
chore: Some constants in `CanonicalEmbedding` should be `NNReal` and not `ENNReal` (#10032)
Deleted NumberField.mixedEmbedding.convexBodyLTFactor_posView on Github →
2023-12-08 13:37
Mathlib/NumberTheory/NumberField/CanonicalEmbedding.lean
chore: tidy various files (#8880)
Added NumberField.mixedEmbedding.convexBodyLTFactor_posView on Github →