Theorem AddMonoidAlgebra.domCongr_refl

Modification history

2023-08-14 08:13

Mathlib/Algebra/MonoidAlgebra/Basic.lean

feat(Algebra/MonoidAlgebra/Basic): add `domCongr` (#6567) …

Added AddMonoidAlgebra.domCongr_refl View on Github →