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

Initializing...

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