basic): sdiff_val, disjoint_to_finset_iff_disjoint (#8168)

Commit

4 years ago

feat(data/finset/basic): sdiff_val, disjoint_to_finset_iff_disjoint (#8168) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

pechersky

Parents