Theorem NumberField.mixedEmbedding.convexBodySumFactor_ne_top

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.convexBodySumFactor_ne_topView on Github →
2023-12-13 06:01
Mathlib/NumberTheory/NumberField/CanonicalEmbedding.lean
feat: Hermite-Minkowski theorem (#8478) …
Added NumberField.mixedEmbedding.convexBodySumFactor_ne_topView on Github →