Code

more on left orthogonal calculus#123

Code

Merged

emilyriehl merged 3 commits intorzk-lang:mainrzk-lang/sHoTT:mainfrom TashiWalde:right-orthogonal-3TashiWalde/sHoTT:right-orthogonal-3Copy head branch name to clipboardOct 22, 2023

+117-5

Commits

Commits on Oct 15, 2023

• pushout products

  

  Tashi Walde

  authored and

  Tashi Walde

  committed
  5623be8

• add transposition

  

  Tashi Walde

  authored and

  Tashi Walde

  committed
  936c211

Commits on Oct 22, 2023

• Merge branch 'main' into right-orthogonal-3

  

  Emily Riehl

  authored
  a4bbb99