Theorem AnalyticAt.cexp'

Modification history

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