This paper continues the formalization of chosen problems defined in the book “250 Problems in Elementary Number Theory” by Wacław Sierpiński.
© 2024 Artur Korniłowicz, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.