Theorem List.last_ofFn_succ

Modification history

2025-08-05 07:35

Mathlib/Data/List/OfFn.lean

chore: further >6month old deprecations (#27799)

Deleted List.last_ofFn_succ View on Github →

2023-01-17 17:59

Mathlib/Data/List/OfFn.lean

feat: port Data.List.ofFn (#1630)

Added List.last_ofFn_succ View on Github →