Zulip Chat Archive
Stream: mathlib4
Topic: about fderiv and the transformation of the types
Notification Bot (Jun 02 2023 at 02:09):
This topic was moved to #maths > about fderiv and the transformation of the types by Heather Macbeth.
Last updated: Dec 20 2023 at 11:08 UTC