Commit 2024-04-03 21:20 f28589d5

View on Github →

chore: update Std (#11858)

Estimated changes

Modified Mathlib/Data/List/Intervals.lean

Modified Mathlib/Data/List/Lattice.lean

Modified Mathlib/Data/List/Nodup.lean

Modified Mathlib/Data/List/Perm.lean

Modified Mathlib/Data/Multiset/FinsetOps.lean

modified theorem Multiset.coe_ndinter

Modified lake-manifest.json