Mathlib Changelog v4

Changelog About Github

Theorem List.IsRotated.trans

Modification history

2023-01-13 18:08

Mathlib/Data/List/Rotate.lean

feat: port Data.List.Rotate (#1490)

Added List.IsRotated.trans View on Github →