HvdH machine lemma AX.p_zsz (One resampling axis, part 3: tables of the `S̃` axis, and the axis pro)

Initializing...

HvdH machine lemma AX.p_zsz (One resampling axis, part 3: tables of the `S̃` axis, and the axis pro) · Prove2Me