Skip to content

[michocoq] generalize map.remove_present_untouched

Raphaël Cauderlier requested to merge rafoo@map_extra_lemmas into dev

We don't assume anymore that the first key is associated with something in the map.

Merge request reports