Homotopy Type Theory
decimal numbers > history
<
decimal rational number
category:
redirected to nlab