HvdH machine lemma AX.bapL_GB (One resampling axis, part 5: the `bapL` slice program as a `GL.LProg`)

Initializing...

HvdH machine lemma AX.bapL_GB (One resampling axis, part 5: the `bapL` slice program as a `GL.LProg`) · Prove2Me