Commit 2023-02-01 17:39 f1f9b287

View on Github →

feat: port Data.Finset.Functor (#1974)

Estimated changes

added theorem Finset.bind_def
added theorem Finset.fmap_def
added theorem Finset.id_traverse
added theorem Finset.image₂_def
added theorem Finset.map_comp_coe
added theorem Finset.map_traverse
added theorem Finset.pure_def
added theorem Finset.seqLeft_def
added theorem Finset.seqRight_def
added theorem Finset.seq_def
added def Finset.traverse
modified theorem Finset.image_swap_product
modified theorem Finset.product_eq_bunionᵢ