Homotopy Type Theory
de Morgan's law > history
<
de Morgan's law
category:
redirected to nlab