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

Initializing...

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