Formální dokazování na cestě k revoluci v hranicní matematice. Gratuluji @HarmonicMath!