Commit 2024-06-14 09:28 978fca19
View on Github →perf(GroupCohomology/Resolution; Algebra/Lie/Classical): use suppress_compilation (#13801) These took 10 resp. 18 seconds to compile in mathlib's CI; it seems this computability is not actually needed.