Theorem algebraMap.coe_sum
Modification history
2024-09-18 18:31
Mathlib/Algebra/Algebra/Basic.lean
chore: avoid Finset dependency in Algebra.Algebra.Defs (#16893)
Modified algebraMap.coe_sumView on Github →2024-04-29 09:44
Mathlib/Algebra/Algebra/Basic.lean
chore: split Algebra.Algebra.Basic (#12486) …
Modified algebraMap.coe_sumView on Github →