يقلقني حقا كم عدد الرياضيين الذين قالوا لي هذا الأسبوع "إذا تم تجميع الشيء في اللين نعلم أنه صحيح". Lean رائع، لكن هذا غير صحيح بشكل خطير. إليك 50 طريقة لإثبات 1 == 0 في لين. هذا المجموع. حسب النسخة التي تستخدمها. (رابط في التعليقات)