Commit 95b5423

committed

defn: free groups in terms of words

1 parent e6e22bc commit 95b5423Copy full SHA for 95b5423

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)