@misc{indiciaebebe67e7d073,
  title = {Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4},
  author = {Jineon Baek and Seewoo Lee},
  year = {2025},
  url = {https://arxiv.org/abs/2408.15180},
  note = {Source identifier: 2408.15180}
}