Homotopy Type Theory rational numbers > history

Redirected from "Kan-fibrant simplicial manifolds".

< rational numbers

category: redirected to nlab