Commit 2024-05-01 12:07 1079fe3f

View on Github →

chore: update to leanprover/std4#769 (#12476)

Estimated changes

Modified Archive/Wiedijk100Theorems/BallotProblem.lean

Modified Mathlib/Combinatorics/SimpleGraph/Trails.lean

Modified Mathlib/Data/Multiset/Basic.lean

Modified lake-manifest.json