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: May 02 2025 at 03:31 UTC