P
Initializing...
Exact lifting criterion with root bit 1: absorbing an odd target after an even batch · Prove2Me