Generalization of map_fold_comm_acc
Simple generalization of the map_fold_comm_acc
lemma to allow folding into another type than the one of values stored in the map.
Merge request reports
Activity
Please register or sign in to reply
Simple generalization of the map_fold_comm_acc
lemma to allow folding into another type than the one of values stored in the map.