Add a fold operation over finite maps, and associated lemmas #717
+124
−8
background
wait
wait-all
cancel
Loading