Baek, J., & Lee, S. (2024). Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4.
Chicago Style (17th ed.) CitationBaek, Jineon, and Seewoo Lee. Formalizing Mason-Stothers Theorem and Its Corollaries in Lean 4. 2024.
MLA (9th ed.) CitationBaek, Jineon, and Seewoo Lee. Formalizing Mason-Stothers Theorem and Its Corollaries in Lean 4. 2024.
Warning: These citations may not always be 100% accurate.