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

Initializing...

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