apply_eq_pow_smul_coeff — Mathlib · SciLib

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

apply_eq_pow_smul_coeff

Mathlib.Analysis.Calculus.FormalMultilinearSeries

URI: https://scilib.ai/kg/mathlib#FormalMultilinearSeries.apply_eq_pow_smul_coeff

← MathLib Explorer