## Stream: general

### Topic: finset.disjoint_bind

#### Yury G. Kudryashov (Oct 09 2020 at 23:29):

What would be a good name for a version of finset.bind (s : finset α) (t : α → finset β) that knows for sure that t x are pairwise disjoint?

#### Adam Topaz (Oct 09 2020 at 23:38):

branch?

#### Kenny Lau (Oct 10 2020 at 06:57):

don't define partial functions; prove partial theorems

Last updated: May 10 2021 at 00:31 UTC