Homotopy Type Theory
1'"
Redirected from "complete Hopf algebras".