Theorem Complex.log_div_self

Modification history

2025-01-26 04:59
Mathlib/Analysis/SpecialFunctions/Complex/Log.lean
feat: `log (x / x) = 0` (#21056) …
Added Complex.log_div_selfView on Github →