Theorem List.getLast_iterate

Modification history

2026-10-17 11:31

Mathlib/Data/List/Iterate.lean

feat(Data/List): add `List.IsChain.iterate` and `List.getLast_iterate` (#44661) …

Added List.getLast_iterate View on Github →