Theorem List.chain'_join

Modification history

2024-11-04 05:59

Mathlib/Data/List/Chain.lean

chore: bump toolchain to v4.14.0-rc1 (#18597) …

Deleted List.chain'_join View on Github →

2023-02-11 10:33

Mathlib/Data/List/Chain.lean

feat: add List.chain'_join (#2192)

Added List.chain'_join View on Github →