Theorem Real.log_finprod

Modification history

2026-03-02 16:30
Mathlib/Analysis/SpecialFunctions/Log/Basic.lean
feat(NumberTheory/Height): formula for logHeight₁ (#35919) …
Added Real.log_finprodView on Github →