Skip to content

Improve `bijective_finite`.

Robbert Krebbersrequested to merge
robbert/bijective_finite into master

Make the statement stronger by no longer requiring an inverse.

Make the implementation more efficient by not filtering duplicates.

Merge request reports