Propagate finmap results to upstream #29
Description
The file finmap_plus.v contains many general finite map results that could be propagated upstream to the finmap project (or may have already been added to recent releases).
This is a memento that these results exist to enable tracking Coq ecosystem consolidation.