Homotopy Type Theory
intermediate value theorem > history
<
intermediate value theorem
category:
redirected to nlab