getD_replicate — Mathlib · SciLib

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

getD_replicate

Mathlib.Data.List.GetD

URI: https://scilib.ai/kg/mathlib#List.getD_replicate

← MathLib Explorer