Commit ae2a56b

committed

defn: free groups in terms of words

1 parent 8887e85 commit ae2a56bCopy full SHA for ae2a56b

3 files changed

+618

-1

lines changed

src
- Algebra/Group/Free
  - Words.lagda.md
- Data
  - Dec
    - Base.lagda.md
  - List
    - Base.lagda.md

3 files changed

+618

-1

lines changed

Comments

(0)