Commit 2024-05-13 09:51 3532a065

View on Github →

chore: further backports from bump/nightly-2024-05-11 (#12861)

Estimated changes

Modified Mathlib/Computability/Partrec.lean

Modified Mathlib/Data/List/Basic.lean

Modified Mathlib/Data/Nat/Factors.lean

Modified Mathlib/GroupTheory/Coxeter/Length.lean