Zulip Chat Archive
Stream: Is there code for X?
Topic: set_like disjoint
Yaël Dillies (Oct 13 2021 at 18:54):
Is there anything that relates a b : α with membership in set β under a set_like α β instance?
Yaël Dillies (Oct 13 2021 at 19:08):
I'm looking for the correct generality of docs#set.not_disjoint_iff.
Last updated: Dec 20 2023 at 11:08 UTC