OAI.FixedClauseThreshold.properSATProbability_center_upper_sat: intermediate lemma from OpenAI, Limiting random SAT thresholds, sharp variance and computability (result family 235)

Initializing...

OAI.FixedClauseThreshold.properSATProbability_center_upper_sat: intermediate lemma from OpenAI, Limiting random SAT thresholds, sharp variance and computability (result family 235) · Prove2Me