Theorem NumberField.exists_nat_le_mulHeight₁

Modification history

2026-06-26 12:09
Mathlib/NumberTheory/Height/NumberField.lean
feat(NumberTheory/Height/NumberField): Northcott property (#39744) …
Added NumberField.exists_nat_le_mulHeight₁View on Github →