Homotopy Type Theory extensional dagger 2-poset > history

Redirected from "beta-equivalence".