Code

fix missing name#195

Code

Open

ncfavier wants to merge 1 commit intoUniMath:masterUniMath/SymmetryBook:masterfrom ncfavier:typo-ancfavier/SymmetryBook:typo-aCopy head branch name to clipboard

+2-2

Commits

Commits on Aug 24, 2023

• fix missing name

  ncfavier

  committed
  9a11b09