Commit 2022-05-02 21:37 ca1551c2
View on Github →feat(data/finset/n_ary): Binary image of finsets (#13718)
Define finset.image₂
, the binary map of finsets. Golf data.finset.pointwise
using it.
feat(data/finset/n_ary): Binary image of finsets (#13718)
Define finset.image₂
, the binary map of finsets. Golf data.finset.pointwise
using it.