Theorem List.tail_iterate

Modification history

2026-03-18 02:22

Mathlib/Data/List/TakeDrop.lean

feat(Computability.Primrec.List): add primrec proofs for drop, takeWhile, and dropWhile (#36473) …

Added List.tail_iterate View on Github →