Borel jet extensions via higher categories and homotopy type theoryhigher-borel-jets.grok.me1 point·measurablefunc··0 commentsOpen articleSaveView on HN