Homotopy Type Theory
analytic Markov's principle > history
<
analytic Markov's principle
category:
redirected to nlab