The single generator of a line `psp a b C` (`C` one bit `c`) is the vector of `2^a ||| 2^b ||| C` (`line_gen`)

Initializing...

The single generator of a line `psp a b C` (`C` one bit `c`) is the vector of `2^a ||| 2^b ||| C` (`line_gen`) · Prove2Me