Theorem Complex.isTheta_cpow_const_rpow

Modification history

2023-05-25 08:46

Mathlib/Analysis/SpecialFunctions/Pow/Asymptotics.lean

feat: port Analysis.SpecialFunctions.Pow.Asymptotics (#4174)

Added Complex.isTheta_cpow_const_rpow View on Github →