Commit 2024-12-09 19:23 d1e3519e
View on Github →perf: mark some definitions as non-computable (#19740) See individual commits for details about each change. This saves about 300*10⁹ instructions on all of mathlib.
perf: mark some definitions as non-computable (#19740) See individual commits for details about each change. This saves about 300*10⁹ instructions on all of mathlib.