Mathlib Changelog
v4
Changelog
About
Github
Def
AddMonoidAlgebra.domCongr
Modification history
2023-09-16 19:24
Mathlib/Algebra/MonoidAlgebra/Basic.lean
feat(AddMonoidAlgebra*): add notation `R[A]` for `addMonoidAlgebra R A` (#7203) …
Modified
AddMonoidAlgebra.domCongr
View on Github →
2023-08-14 08:13
Mathlib/Algebra/MonoidAlgebra/Basic.lean
feat(Algebra/MonoidAlgebra/Basic): add `domCongr` (#6567) …
Added
AddMonoidAlgebra.domCongr
View on Github →