Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-05-11 12:20
1b07a507
View on Github →
feat(MonoidAlgebra):
domCongr
preserves
lsingle
(
#24768
) From Toric
Estimated changes
Modified
Mathlib/Algebra/MonoidAlgebra/Basic.lean
added
theorem
AddMonoidAlgebra.domCongr_comp_lsingle
added
theorem
MonoidAlgebra.domCongr_comp_lsingle