Skip to content

Preimage function for finite maps.

Robbert Krebbers requested to merge robbert/preimage into master

This is a possible solution to #140

Merge request reports