Exact lifting criterion: absorbing an odd target after an even batch, with odd fourth-term helpers

Initializing...

Exact lifting criterion: absorbing an odd target after an even batch, with odd fourth-term helpers · Prove2Me