Homotopy Type Theory Large types > history

Redirected from "opposite algebra".