Homotopy Type Theory
ordered integral domain > history
<
ordered integral domain
category:
redirected to nlab