Improve `bijective_finite`.
Make the statement stronger by no longer requiring an inverse.
Make the implementation more efficient by not filtering duplicates.
Make the statement stronger by no longer requiring an inverse.
Make the implementation more efficient by not filtering duplicates.