Theorem Set.range_list_get

Modification history

2024-04-27 19:40
Mathlib/Data/Set/List.lean
chore(Data/Set/List): nthLe -> get migration (#12398)
Added Set.range_list_getView on Github →