Homotopy Type Theory sigma-complete lattice > history

< sigma-complete lattice