destutter_eq_self_iff — Mathlib · SciLib

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

destutter_eq_self_iff

Mathlib.Data.List.Destutter

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

← MathLib Explorer