foldr_fixed' — Mathlib · SciLib

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

foldr_fixed'

Mathlib.Data.List.Basic

URI: https://scilib.ai/kg/mathlib#List.foldr_fixed'

← MathLib Explorer