Zulip Chat Archive
Stream: general
Topic: hereditarily finite sets
Kenny Lau (Apr 08 2020 at 13:37):
Do you have hereditarily finite sets?
Mario Carneiro (Apr 08 2020 at 13:39):
There is some initial work done on this in set_theory.lists
Last updated: Dec 20 2023 at 11:08 UTC