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