On a conjecture of Han and Xiong for fractional Gaussian binomial coefficients
AI use, as the source states it
“The theoretical results were autonomously produced and verified in Lean by AxiomProver.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.