get_replicate — Mathlib · SciLib

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

get_replicate

Mathlib.Data.Vector.Basic

URI: https://scilib.ai/kg/mathlib#List.Vector.get_replicate

← MathLib Explorer