Aristoteles ist jetzt auf @leanprover 4.28 Viel Spaß beim Beweisen!