Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-11-28 14:24
0fc63c91
View on Github →
doc: Fix minor typos in Set.Operations and Set.Basic (
#19549
)
Estimated changes
Modified
Mathlib/Data/Set/Finite/Basic.lean
Modified
Mathlib/Data/Set/Operations.lean