Commit 2023-05-31 01:08 3026bb9e

View on Github →

chore: remove sup from union_congr_left statement (#4481) This appears to have been accidental. Added in https://github.com/leanprover-community/mathlib/pull/15439

Estimated changes

modified theorem Finset.union_congr_left
modified theorem Set.union_congr_left