Homotopy Type Theory
Heyting GCD domain > history
<
GCD domain
category:
redirected to nlab