Theorem List.repeatSucc

Modification history

2021-12-06 13:54

Mathlib/Data/List/Basic.lean

chore: small progress on equiv and list basics (#124) …

Deleted List.repeatSucc View on Github →

2021-11-22 15:44

Mathlib/Data/List/Basic.lean

feat: add simp linter (#100) …

Added List.repeatSucc View on Github →