Mathlib Changelog
v4
Changelog
About
Github
Theorem
FreeMonoid.symbols_of
Modification history
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_of
View on Github →