Homotopy Type Theory left adjoint > history

Redirected from "autoequivalences".

< left adjoint