Login
Login

Higher inductive type

  1. REDIRECT Homotopy type theory#Higher inductive types {{R with potential}}