TY  - RPRT
TI  - Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4
AU  - Jineon Baek
AU  - Seewoo Lee
PY  - 2025
UR  - https://arxiv.org/abs/2408.15180
ID  - 2408.15180
ER  -