unshift_shift — Mathlib · SciLib

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

unshift_shift

Mathlib.Analysis.Calculus.FormalMultilinearSeries

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

← MathLib Explorer