∫ Утверждение Mathlib

coe_sumAddMonoidHom

Mathlib.Algebra.BigOperators.Group.Multiset.Basic

URI: https://scilib.ai/kg/mathlib#Multiset.coe_sumAddMonoidHom

← MathLib Explorer