Homotopy Type Theory
decidable set > history
Redirected from "∞-Grpd".