Theorem Real.posLog_apply

Modification history

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