Zulip Chat Archive
Stream: Is there code for X?
Topic: Jensen's formula
Fabrizio Barroero (Jan 26 2025 at 12:09):
Do we have this?
If not, how far are we from it?
I apologize but I am very unfamiliar with complex analysis in Mathlib...
Junyan Xu (Jan 26 2025 at 14:21):
Apparently yes, from #announce > Announcing Project VD -- Value Distribution Theory @ 💬
Fabrizio Barroero (Jan 26 2025 at 14:27):
Thanks! I should have searched :innocent:
Last updated: May 02 2025 at 03:31 UTC