Borel jet extensions via higher categories and homotopy type theory

1 pointsposted 14 hours ago
by measurablefunc
(higher-borel-jets.grok.me)

No comments yet