mapIdxM'_eq_mapIdxM — Mathlib · SciLib

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

mapIdxM'_eq_mapIdxM

Mathlib.Data.List.Indexes

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

← MathLib Explorer