-
Robbert Krebbers authored
Remove duplicate `map_fmap_empty` of `fmap_empty`, and rename `map_fmap_empty_inv` into `fmap_empty_inv` for consistency's sake.
46b16f58
To find the state of this project's repository at the time of any of these versions, check out the tags.