coe_prod — Mathlib · SciLib

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

coe_prod

Mathlib.Algebra.Star.StarAlgHom

URI: https://scilib.ai/kg/mathlib#StarAlgHom.coe_prod

← MathLib Explorer