Гипотеза Коллатца решение и доказательства на lean и Python(проверяйте).

Полное решение для всех чисел.

https://doi.org/10.5281/zenodo.19896493