kmap lemmas for map_to_list and list_to_map
kmap lemmas for FinMap and list:
kmap_map_to_listkmap_list_to_map
Has kmap lemmas from !598 (closed)
Edited by Rudy Peterson
kmap lemmas for FinMap and list:
kmap_map_to_listkmap_list_to_mapHas kmap lemmas from !598 (closed)