고차 범주와 호모토피 유형 이론을 통한 Borel jet 확장Borel jet extensions via higher categories and homotopy type theory▲ 1 · higher-borel-jets.grok.me · 4일 전 · 0 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…