Theorem Complex.log_exp_exists

Modification history

2024-11-08 20:31
Mathlib/Analysis/SpecialFunctions/Complex/Log.lean
feat(Analysis/Complex): periodic holo funcs factor through exponential (#18065) …
Added Complex.log_exp_existsView on Github →