Theorem SkewMonoidAlgebra.single_one_one
Modification history
2025-07-15 14:02
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
feat(Algebra/SkewMonoidAlgebra/Basic): multiplication and algebraic instances (#26933) …
Modified SkewMonoidAlgebra.single_one_oneView on Github →