Homotopy Type Theory
distributive lattice > history
<
distributive lattice
category:
redirected to nlab