Def Magma.AssocQuotient.of

Modification history

2023-09-12 12:40

Mathlib/Algebra/Free.lean

chore: replace anonymous morphism constructors with named fields (#7015) …

Modified Magma.AssocQuotient.of View on Github →

2023-01-29 16:57

Mathlib/Algebra/Free.lean

feat port : Algebra.Free (#1353)

Added Magma.AssocQuotient.of View on Github →