non-wellfounded-arxiv-v6

04321abf · Refactor based on review, again · Aug 31, 2025

Non-wellfounded set theory arxiv version 6