Homotopy Type Theory distributive lattice > history

< distributive lattice