Commit ad8d2c5

committed

defn: free groups in terms of words

1 parent 13f93bc commit ad8d2c5Copy full SHA for ad8d2c5

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)