Homotopy Type Theory analytic Markov's principle > history

< analytic Markov's principle