preserves/implementations/racket
Tony Garnock-Jones 460529e1c7 Clean up language wrt invertibility/"bijection" 2021-05-25 20:13:02 +02:00
..
preserves Clean up language wrt invertibility/"bijection" 2021-05-25 20:13:02 +02:00