Mathlib v3 is deprecated. Go to Mathlib v4

Inductive free_magma

Modification history

2019-04-12 12:59

src/algebra/free.lean

feat(algebra/free): free magma, semigroup, monoid (#735)

Added free_magma View on Github →