Commit 2023-02-12 19:24 f9619549

View on Github →

feat: add FreeMonoid.lift_ofList (#2193)

Estimated changes

modified def FreeMonoid.lift
added theorem FreeMonoid.lift_ofList