Zulip Chat Archive
Stream: new members
Topic: intersection
tsuki hao (Aug 31 2023 at 13:57):
Does anyone know how to write the intersection of listable sets?
Yaël Dillies (Aug 31 2023 at 14:00):
What do you mean by "listable sets"?
tsuki hao (Aug 31 2023 at 14:13):
Yaël Dillies said:
What do you mean by "listable sets"?
Maybe countable sets? such as \cap_i {f i <= r}, that is to say, a family of sets with index.
Yaël Dillies (Aug 31 2023 at 14:16):
Then you're looking for docs#Set.iInter
tsuki hao (Aug 31 2023 at 14:33):
Yaël Dillies said:
Then you're looking for docs#Set.iInter
Thank you!
Last updated: Dec 20 2023 at 11:08 UTC