Mathlib Changelog
v4
Changelog
About
Github
Commit
2022-12-24 08:14
25a1ad4b
View on Github →
feat: port Data.Set.Functor (
#1178
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/Data/Set/Functor.lean
added
theorem
Set.bind_def
added
theorem
Set.fmap_eq_image
added
theorem
Set.image2_def
added
theorem
Set.pure_def
added
theorem
Set.seq_eq_set_seq