Borel jet extensions via higher categories and homotopy type theory

1 points | by measurablefunc 13 hours ago