Theorem List.length_destutter_ne_le_length_destutter_cons

Modification history

2024-12-03 19:01
Mathlib/Data/List/Destutter.lean
feat: `List.destutter` on cotransitive relations. (#9082) …
Added List.length_destutter_ne_le_length_destutter_consView on Github →