ArchiveSequencesAbout

QuestionsEventsShortformAlignment ForumAF Comments

HomeFeaturedAllTagsRecent Comments

tailcalled comments on Translations Should Invert

tailcalled 6 Oct 2023 22:01 UTC
2 points
0
More on axiom of choice: https://math.stackexchange.com/a/4782176/315043