P
Initializing...
A one-quarter defect bound at a first coefficient contraction · Prove2Me