destutter'_nil — Mathlib · SciLib

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

destutter'_nil

Mathlib.Data.List.Destutter

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

← MathLib Explorer