Homotopy Type Theory excluded middle > history

Redirected from "satellites".

< excluded middle