Homotopy Type Theory James construction > history

Redirected from "pro-rings".

< James construction type

category: redirected to nlab