Mathlib Changelog
v4
Changelog
About
Github
Theorem
AddMonoid.End.natCast_apply
Modification history
2024-04-29 08:00
Mathlib/Algebra/Group/Hom/End.lean
chore: Move monoid with zero instances on pi types (#12286) …
Modified
AddMonoid.End.natCast_apply
View on Github →
2022-12-16 10:09
Mathlib/Algebra/Hom/GroupInstances.lean
feat: port algebra.hom.group_instances (#941) …
Added
AddMonoid.End.natCast_apply
View on Github →