Add map_Exists
As discussed with @robbertkrebbers. I proved most of the lemmas corresponding to map_Forall
.
Merge request reports
Activity
Please register or sign in to reply
As discussed with @robbertkrebbers. I proved most of the lemmas corresponding to map_Forall
.