Commit 2023-12-11 00:41 bacd2ecf

View on Github →

chore: update std4 to b197bd2, catching up to leanprover/std4#427 (#8888)

Estimated changes

Modified Mathlib/Combinatorics/SetFamily/Shadow.lean

modified theorem Finset.mem_upShadow_iff

Modified Mathlib/Data/Finset/Basic.lean

modified theorem Finset.ssubset_iff

Modified Mathlib/Data/Finset/Grade.lean

modified theorem Covby.exists_finset_insert

modified theorem Finset.covby_iff_exists_insert

Modified Mathlib/Data/List/Perm.lean

Modified Mathlib/Data/Set/Basic.lean

modified theorem Set.ssubset_iff_insert

Modified Mathlib/MeasureTheory/Integral/Marginal.lean

Modified Mathlib/Order/Cover.lean

modified theorem Covby.exists_set_insert

modified theorem Set.covby_iff_exists_insert

Modified lake-manifest.json

Modified test/delaborators.lean