Theorem List.length'_eq_length

Modification history

2021-12-18 19:21

Mathlib/Data/List/Basic.lean

feat: porting Data.List.Defs, Init.Data.List.Basic (#137) …

Deleted List.length'_eq_length View on Github →

2021-05-11 23:07

Mathlib/Data/List/Basic.lean

feat(Data/List): versions of list functions with lean 3 style defeq

Added List.length'_eq_length View on Github →