Zulip Chat Archive
Stream: PR reviews
Topic: Basic lemmas for `ContMDiff`
Bryan Wang (Aug 13 2025 at 02:17):
#28286 and #28292 add basic lemmas for docs#ContMDiff which are upstreamed from https://github.com/girving/ray.
Bryan Wang (Sep 01 2025 at 08:37):
bump - I think these should be fairly straightforward lemmas with analogues elsewhere!
Michael Rothgang (Sep 01 2025 at 08:57):
I can take a look when back from holiday (in a week)
Last updated: Dec 20 2025 at 21:32 UTC