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

Initializing...

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