Borel jet extensions via higher categories and homotopy type theory

(higher-borel-jets.grok.me)

1 points | by measurablefunc 13 hours ago

No comments yet.