Status of Cauchy's integral formula

Stream: Is there code for X?

[Jack J Garzella]

I've seen here that work on Cauchy's integral formula is in progress. Is there an update on the status of this?
If it's not finished, do we have an idea of a preferred mathlib statement of the theorem upon which some complex analysis can be built?

[Johan Commelin]

I'm not sure... we haven't seen Yury for quite some time.