Commit 2023-04-29 13:32 eefa146e

View on Github →

chore: Remove finset.sup_finset_image (#3713) Match https://github.com/leanprover-community/mathlib/pull/18893

Estimated changes

Modified Mathlib/Data/Finset/Lattice.lean

deleted theorem Finset.sup_finset_image

Modified Mathlib/Order/CompactlyGenerated.lean

Modified Mathlib/RingTheory/Finiteness.lean

Modified Mathlib/RingTheory/MvPolynomial/Symmetric.lean