Theorem List.tfae_cons_of_mem

Modification history

2026-08-16 19:51

Mathlib/Data/List/Pairwise.lean

feat(Data/List): add TFAE lemmas for append and permutations (#41022) …

Modified List.tfae_cons_of_mem View on Github →

2023-01-05 21:13

Mathlib/Data/List/TFAE.lean

feat: port Data.List.TFAE (#1354)

Added List.tfae_cons_of_mem View on Github →