WIP: A library for (monotone) partial bijections.
The idea is that
BIJ γ Lstates that
Lis a partial bijection,
inBij γ x yis persistent and states that
yare in a partial bijection.
For instance you would store
BIJ γ L in some invariant to share it.
I am not sure about the choice of names and would welcome suggestions.