Lean: Change loops to use native lean loops #1086
+542
−609
Merged
Loading