This is little comfort if you have finitely many hypotheses — you can still find some encoding to order them in any way you want.
This is little comfort if you have finitely many hypotheses — you can still find some encoding to order them in any way you want.