Aristotle hiện đang trên @leanprover 4.28 Chúc bạn có một tâm trạng vui vẻ khi chứng minh!