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

Initializing...

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