Theorem ENNReal.logHomeomorph_apply

Modification history

2024-07-12 14:35
Mathlib/Analysis/SpecialFunctions/Log/ENNRealLogExp.lean
feat(SpecialFunctions/Log): Add extended exp (#14107) …
Added ENNReal.logHomeomorph_applyView on Github →