Theorem Complex.re_eq_re_of_cexp_eq_cexp

Modification history

2026-03-02 19:44
Mathlib/Analysis/SpecialFunctions/Complex/Log.lean
feat: Liouville Theorem for harmonic functions (#35640) …
Added Complex.re_eq_re_of_cexp_eq_cexpView on Github →