Def FreeMonoid.symbols

Modification history

2026-10-28 15:03

Mathlib/Algebra/FreeMonoid/Symbols.lean

refactor: `FreeMonoid` as a one-field structure (#45212) …

Modified FreeMonoid.symbols View on Github →

2024-10-28 15:52

Mathlib/Algebra/FreeMonoid/Symbols.lean

feat(Algebra/FreeMonoid): set of symbols appearing in an element of the free monoid (#18036) …

Added FreeMonoid.symbols View on Github →