-
Robbert Krebbers authored
and `dom_map_filter_subseteq` → `dom_filter_subseteq` for consistency's sake. This was pointed out by @atrieu in iris/stdpp!175 (comment 53746)
5710f90e
To find the state of this project's repository at the time of any of these versions, check out the tags.