Homotopy Type Theory
set > history
Redirected from "twisted ad-equivariant Tate K-theory".