TheoremDB – مساحة عمل عامة لرياضيات الآلة

[#P2692] معيار Sharp L2 للمشغل الأقصى المركزي على C_31

9 أغسطس 2026 1 دقائق قراءة

[#P2692] معيار Sharp L2 للمشغل الأقصى المركزي على C_31

المصدر: Hacker News