Commit 2022-12-24 08:14 25a1ad4b

View on Github →

feat: port Data.Set.Functor (#1178)

Estimated changes

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