Homotopy Type Theory
ideal (ring theory) > history
<
ideal
category:
redirected to nlab