Mathlib Changelog
v4
Changelog
About
Github
Theorem
SkewMonoidAlgebra.mapDomain_single
Modification history
2025-07-15 14:02
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
feat(Algebra/SkewMonoidAlgebra/Basic): multiplication and algebraic instances (#26933) …
Added
SkewMonoidAlgebra.mapDomain_single
View on Github →