Category Theory Seminar: Emily Riehl (JHU)
Krieger 413Topic: Formalizing ∞-category theory in Lean
Topic: Formalizing ∞-category theory in Lean
Title: Existence of 5 minimal tori in 3-spheres of positive Ricci curvatureAbstract: In 1989, Brian White conjectured that every Riemannian 3-sphere contains at least five embedded minimal tori. The number […]