Commit 2024-05-01 04:33 dc5d5b41

View on Github →

chore: update for leanprover/std4#758 (#12475)

Estimated changes

Modified Mathlib/Combinatorics/Enumerative/Composition.lean

Modified Mathlib/Data/List/Basic.lean

modified theorem List.nthLe_zero

Modified Mathlib/Data/List/Rotate.lean

Modified Mathlib/NumberTheory/Zsqrtd/Basic.lean

Modified lake-manifest.json