Theorem Real.continuousOn_log

Modification history

2023-06-30 01:46

Mathlib/Analysis/SpecialFunctions/Log/Basic.lean

fix: change compl precedence (#5586)

Modified Real.continuousOn_log View on Github →

2023-05-16 15:19

Mathlib/Analysis/SpecialFunctions/Log/Basic.lean

feat: port Analysis.SpecialFunctions.Log.Basic (#4019) …

Added Real.continuousOn_log View on Github →