Commit 2023-06-04 23:02 f712a293
View on Github →feat: port Analysis.SpecialFunctions.ExpDeriv (#4651) This incorporates the changes from https://github.com/leanprover-community/mathlib/pull/19139 which haven't hit mathport yet due to mathport CI failing for a few days. (Hopefully it will succeed on the next run.)