jinshanmu/CrouzeixConjecture
@jinshanmuResearch draft of a candidate proof of Crouzeix's conjecture
स्टार
509
फ़ोर्क
71
भाषा
Lean
लाइसेंस
—
आख़िरी push
4 सप्ताह पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।