Theorem Real.continuous_posLog

Modification history

2026-06-09 04:56
Mathlib/Analysis/SpecialFunctions/Log/PosLog.lean
feat: continuity of posLog (#40349) …
Added Real.continuous_posLogView on Github →