Theorem FreeMonoid.toList_nil

Modification history

2026-10-10 09:42
Mathlib/Algebra/FreeMonoid/Basic.lean
chore: delete deprecated declarations to March 2026 (#44240)
Deleted FreeMonoid.toList_nilView on Github →
2025-03-18 04:29
Mathlib/Algebra/FreeMonoid/Basic.lean
chore: review of `erw` in `Analysis/` (#23032)
Added FreeMonoid.toList_nilView on Github →