Homotopy Type Theory decidable setoid > history

Redirected from "generic judgement".