Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.head'_rotate

Modification history

2023-01-13 05:43

src/data/list/rotate.lean

chore(data/list): golf, merge 2 files (#18120) …

Added list.head'_rotate View on Github →