frameless
An Injection[A, B] is a reversible function from A to B.
Must obey forAll { a: A => invert(apply(a)) == a }.
forAll { a: A => invert(apply(a)) == a }
An Injection[A, B] is a reversible function from A to B.
Must obey
forAll { a: A => invert(apply(a)) == a }
.