Theorem List.tfae_of_cycle

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_of_cycleView on Github →
2025-09-24 16:53
Mathlib/Data/List/TFAE.lean
fix: adaptations for batteries#1421 (#29928) …
Modified List.tfae_of_cycleView on Github →
2024-01-16 15:36
Mathlib/Data/List/TFAE.lean
chore(TFAE): migrate to `getLastD`, reduce imports (#9628) …
Modified List.tfae_of_cycleView on Github →
2023-01-05 21:13
Mathlib/Data/List/TFAE.lean
feat: port Data.List.TFAE (#1354)
Added List.tfae_of_cycleView on Github →