-
Robbert Krebbers authored
This way, type class search will fail immediately on first type class constraint of any of the `fin_map_dom` lemmas if no `Dom` can be found.
9b0f7c75
This way, type class search will fail immediately on first type class constraint of any of the `fin_map_dom` lemmas if no `Dom` can be found.