🚀 Gauss právě autoformalizoval důkaz Kakeyovy domněnky pro konečná tělesa! 🧵 (1/5)