Skip to content

Improve `bijective_finite`.

Robbert Krebbers requested 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