Code

Fix typos#197

Code

Open

pitmonticone wants to merge 6 commits intoUniMath:masterUniMath/SymmetryBook:masterfrom pitmonticone:masterpitmonticone/SymmetryBook:masterCopy head branch name to clipboard

+17-17

Commits

Commits on Dec 21, 2023

• Update circle.tex

  pitmonticone

  committed
  52bb01d

  Copy full SHA for 52bb01d

• Update fingp.tex

  pitmonticone

  committed
  7fd6154

  Copy full SHA for 7fd6154

• Update galois.tex

  pitmonticone

  committed
  c6a8c41

  Copy full SHA for c6a8c41

• Update README.md

  pitmonticone

  committed
  854326d

  Copy full SHA for 854326d

• Update group.tex

  pitmonticone

  committed
  7c2a9f2

  Copy full SHA for 7c2a9f2

• Update geometry.tex

  pitmonticone

  committed
  2dd1e5e

  Copy full SHA for 2dd1e5e