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):
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