HvdH machine lemma AX.sapSl_all (One resampling axis, part 2: the `sapL` slice program as a `GL.LProg`)

Initializing...

HvdH machine lemma AX.sapSl_all (One resampling axis, part 2: the `sapL` slice program as a `GL.LProg`) · Prove2Me