Linnk AI herunterladen
•
Autonomer Forschungsassistent
>
Anmelden
Einblick
-
Ramsey-Zahlen
Formaler Beweis von R(4,5)=25
Die Ramsey-Zahl R(4,5) ist gleich 25.
1