Preimage function for finite maps.

Robbert Krebbersrequested to merge
robbert/preimage into master

This is a possible solution to #140 (closed)

Merge request reports