Code

add missing coherence for TwoOneCat#1897

Code

Merged

Alizter merged 2 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/add_missing_coherence_for_twoonecatAlizter/HoTT:ps/rr/add_missing_coherence_for_twoonecatCopy head branch name to clipboardMar 14, 2024

+51-2

Commits

Commits on Mar 13, 2024

• add missing coherence for TwoOneCat

  Show description for bc0a585
  Alizter

  committed
  bc0a585

  Copy full SHA for bc0a585

• add whiskering lemmas and make proof of exchange more reasable with comments

  Show description for 07a55d8
  Alizter

  committed
  07a55d8

  Copy full SHA for 07a55d8