Commit 7f598e9

committed

defn: free groups in terms of words

1 parent 2806523 commit 7f598e9Copy full SHA for 7f598e9

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)