HvdH machine lemma AX.bapAxP_all (One resampling axis, part 8: the `B̃` axis program `bapAxP`)

Initializing...

HvdH machine lemma AX.bapAxP_all (One resampling axis, part 8: the `B̃` axis program `bapAxP`) · Prove2Me