Theorem ENNReal.log_le_log

Modification history

2025-05-23 23:59
Mathlib/Analysis/SpecialFunctions/Log/ENNRealLog.lean
chore(*): use gcongr (#24720) …
Added ENNReal.log_le_logView on Github →