Commit 2024-05-14 00:12 5602b56c

feat(Condensed): light condensed objects (#11586) New foundations for analytic geometry based on light condensed sets are being developed by Clausen-Scholze (see this youtube playlist). This PR defines light condensed objects.

• [x] depends on: #8613
• depends on: #8643
• depends on: #8674
• depends on: #8676
• depends on: #8678
• depends on: #9513
• depends on: #11585