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

Initializing...

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