Theorem List.destutter'_is_chain'

Modification history

2023-01-19 07:45

Mathlib/Data/List/Destutter.lean

chore: format `by` line breaks (#1523) …

Modified List.destutter'_is_chain'View on Github →

2023-01-11 04:58

Mathlib/Data/List/Destutter.lean

feat: Port/data.list.destutter (#1466) …

Added List.destutter'_is_chain'View on Github →