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

ringHom_apply

Mathlib.RingTheory.MvPowerSeries.Basic

URI: https://scilib.ai/kg/mathlib#MvPolynomial.coeToMvPowerSeries.ringHom_apply

← MathLib Explorer