Code

Wedge of a family of pType#1829

Code

Merged

Alizter merged 3 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/branch/wedge_of_a_family_of_ptypeAlizter/HoTT:ps/branch/wedge_of_a_family_of_ptypeCopy head branch name to clipboardJan 25, 2024

Commits

Commits on Jan 25, 2024

• Wedge of a family of pType

  Show description for a42516d
  Alizter

  committed
  a42516d

  Copy full SHA for a42516d

• address review comments for wedge

  Show description for c80a3a6
  Alizter

  committed
  c80a3a6

  Copy full SHA for c80a3a6

• simplify definition of indexed wedge

  Show description for 1d3ee90
  Alizter

  committed
  1d3ee90

  Copy full SHA for 1d3ee90