OAI.QuarticPowerFree.medium_degree_dyadic_tail: intermediate lemma from OpenAI, Squarefree values of quartics and power-free values of polynomials

Initializing...

OAI.QuarticPowerFree.medium_degree_dyadic_tail: intermediate lemma from OpenAI, Squarefree values of quartics and power-free values of polynomials · Prove2Me