Borel jet extensions via higher categories and homotopy type theory

(higher-borel-jets.grok.me) by measurablefunc | Oct 10, 2026 | 0 comments on HN