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

Initializing...

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