Theorem Real.exp_nsmul

Modification history

2023-12-19 15:21
Mathlib/Data/Complex/Exponential.lean
feat: More `rpow` lemmas (#9108) …
Added Real.exp_nsmulView on Github →