Donnerstag, 23. April 2026
Shinichi Mochizuki, IUT, ABC Beweis in Lean-Formalisierung!

... comment