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

Initializing...

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