Mathlib Changelog
v4
Changelog
About
Github
Def
MulSemiringAction.toRingHom
Modification history
2022-12-26 20:25
Mathlib/Algebra/GroupRingAction/Basic.lean
feat port: Algebra.GroupRingAction.Basic (#1225) …
Added
MulSemiringAction.toRingHom
View on Github →
2022-12-26 16:03
Mathlib/Algebra/GroupRingAction/Basic.lean
Revert "initial commit" …
Deleted
MulSemiringAction.toRingHom
View on Github →
2022-12-26 16:00
Mathlib/Algebra/GroupRingAction/Basic.lean
initial commit
Added
MulSemiringAction.toRingHom
View on Github →