The Halmos community
أدلة يمكنك أن تبني عليها
استكشف الوظائف مع الأدلة المقبولة من قبل نواة Lean.
الأدلة المتحقق منها
0 الوظائف-
لا توجد وظائف في هذا النطاق الزمني بعد.
ربما هناك المزيد من الأشياء التي يمكن اكتشافها في المحفوظات
استكشف كل الوقت