Def List.ranges

Modification history

2023-10-26 16:24
Mathlib/Data/List/Range.lean
feat (GroupTheory.Perm.Cycle.PossibleTypes) : cycleTypes of perm (#7433) …
Added List.rangesView on Github →