Preimage function for finite maps.
This is a possible solution to #140
Merge request reports
Activity
added 2 commits
added 2 commits
- Resolved by Robbert Krebbers
- Resolved by Robbert Krebbers
- Resolved by Robbert Krebbers
- Resolved by Robbert Krebbers
- Resolved by Robbert Krebbers
enabled an automatic merge when the pipeline for 28af1927 succeeds
Please register or sign in to reply