Homotopy Type Theory ideal (ring theory) > history

< ideal