Theorem List.Pairwise.destutter_eq_dedup

Modification history

2026-01-07 07:34

Mathlib/Data/List/Destutter.lean

chore(Order/Defs/Unbundled): deprecate `IsAntisymm` in favor of core's `Std.Antisymm` (#33685)

Modified List.Pairwise.destutter_eq_dedup View on Github →

2025-10-06 22:42

Mathlib/Data/List/Destutter.lean

feat(Data/List): relate destutter and dedup (#30228)

Added List.Pairwise.destutter_eq_dedup View on Github →