HvdH machine lemma AX.cTabR_all (One resampling axis, part 6: the tables of the `B̃` axis)

Initializing...

HvdH machine lemma AX.cTabR_all (One resampling axis, part 6: the tables of the `B̃` axis) · Prove2Me