Homotopy Type Theory
directional derivative > history
<
directional derivative
category:
redirected to nlab