Commit 2024-05-14 00:12 5602b56c
View on Github →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.