PR !4#19721: feat (WIP): formalize Moreira's version of S...

Stream: triage

[Random Issue Bot]

Today I chose PR 19721 for discussion!

feat (WIP): formalize Moreira's version of Sard's theorem
Created by @Yury G. Kudryashov (@urkud) on 2024-12-04
Labels: t-analysis

Is this PR still relevant? Any recent updates? Anyone making progress?

[Michael Rothgang]

Still relevant, still being worked on: in https://github.com/urkud/SardMoreira