P
Initializing...
Separation exponent at least $2.1303$ from shared local-lemma labelings · Prove2Me