Theorem FreeMonoid.toList_cons

Modification history

2026-10-10 09:42

Mathlib/Algebra/FreeMonoid/Basic.lean

chore: delete deprecated declarations to March 2026 (#44240)

Deleted FreeMonoid.toList_cons View on Github →

2025-03-18 04:29

Mathlib/Algebra/FreeMonoid/Basic.lean

chore: review of `erw` in `Analysis/` (#23032)

Added FreeMonoid.toList_cons View on Github →