Zulip Chat Archive
Stream: triage
Topic: PR !4#29409: feat(Mathlib/Analysis): deriv_eq_self and de...
Random Issue Bot (Nov 16 2025 at 14:11):
Today I chose PR #29409 for discussion!
feat(Mathlib/Analysis): deriv_eq_self and deriv_exp_iff
Created by @Julian Berman (@Julian) on 2025-09-07
Labels: awaiting-author, t-analysis
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2025 at 21:32 UTC