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

Initializing...

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