Theorem List.tfae_not_iff

Modification history

2026-08-16 19:51

Mathlib/Data/List/TFAE.lean

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

Modified List.tfae_not_iff View on Github →

2024-02-13 19:40

Mathlib/Data/List/TFAE.lean

chore(Data/List/TFAE): add tfae_not_iff (#10479)

Added List.tfae_not_iff View on Github →