recF_eq' — Mathlib · SciLib

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

recF_eq'

Mathlib.Data.QPF.Univariate.Basic

URI: https://scilib.ai/kg/mathlib#QPF.recF_eq'

← MathLib Explorer