Theorem List.length_ofFn_go

Modification history

2024-09-26 12:41
Mathlib/Data/List/OfFn.lean
chore: remove List.ofFn lemmas moved to Batteries (#17159)
Deleted List.length_ofFn_goView on Github →
2024-05-10 07:11
Mathlib/Data/List/OfFn.lean
chore: update dependencies (#12792)
Added List.length_ofFn_goView on Github →