Def Height.logHeight

Modification history

2026-01-19 09:42

Mathlib/NumberTheory/Height/Basic.lean

feat(NumberTheory/Height): heights of tuples and finsupps (#33893) …

Added Height.logHeight View on Github →