Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.map_rotate

Modification history

2021-08-15 13:05

src/data/list/rotate.lean

feat(data/list/cycle): cycle.map and has_repr (#8170)

Added list.map_rotate View on Github →