Homotopy Type Theory
excluded middle > history
Redirected from "satellites".
<
excluded middle
category:
redirected to nlab