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