Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-11-14 11:52
eb32afc7
View on Github →
chore(Data/Set): golf
image_sUnion
using
grind
(
#31602
)
Estimated changes
Modified
Mathlib/Data/Set/Lattice/Image.lean