Commit 2022-09-19 11:49 3f498b03

View on Github →

chore(analysis,topology): replace noncomputable theory with noncomputable (#16552) The purpose of this change is to make it easier to parse the diff of a future PR that makes a significant fraction of these definitions computable.

Estimated changes