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

Initializing...

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