Homotopy Type Theory
limit of a sequence > history
<
limit of a sequence
category:
redirected to nlab