Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.is_rotated.map

Modification history

2021-08-15 13:05

src/data/list/rotate.lean

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

Added list.is_rotated.map View on Github →