Improve `bijective_finite`.
All threads resolved!
All threads resolved!
Compare changes
Make the statement stronger by no longer requiring an inverse.
Make the implementation more efficient by not filtering duplicates.