Theorem FreeMonoid.lift_ofList

Modification history

2023-02-12 19:24
Mathlib/Algebra/FreeMonoid/Basic.lean
feat: add FreeMonoid.lift_ofList (#2193)
Added FreeMonoid.lift_ofListView on Github →