return to top
source
Std.Range
We provide lemmas rewriting for loops over Std.Range in terms of List.range'.
List.range'