Theorem AnalyticAt.rexp'

Modification history

2025-01-26 07:04
Mathlib/Analysis/SpecialFunctions/ExpDeriv.lean
feat: mark AnalyticAt / MeromorphicAt for use with fun_prop (#21057) …
Added AnalyticAt.rexp'View on Github →