Homotopy Type Theory
Jordan
Redirected from "infinity-permutation representations".
1