Homotopy Type Theory
iterated differentiable function > history
<
iterated differentiable function
category:
redirected to nlab