Mathlib Changelog
v4
Changelog
About
Github
Theorem
FreeSemigroup.map_pure
Modification history
2025-05-22 00:47
Mathlib/Algebra/Free.lean
chore: fix some defeq abuse in theorem statements around the `Id` monad (#25098) …
Deleted
FreeSemigroup.map_pure
View on Github →
2023-01-29 16:57
Mathlib/Algebra/Free.lean
feat port : Algebra.Free (#1353)
Added
FreeSemigroup.map_pure
View on Github →