Conway’s Normal Form in the Mizar System (Formalized Mathematics, 2025)