tail_update_succ — Mathlib · SciLib

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

tail_update_succ

Mathlib.Data.Finsupp.Fin

URI: https://scilib.ai/kg/mathlib#Finsupp.tail_update_succ

← MathLib Explorer