Category Theory Seminar: Emily Riehl (JHU)
Krieger 413Topic: Formalizing ∞-Category Theory in Lean
Topic: Formalizing ∞-Category Theory in Lean
Title: The Saint Venant inequality and quantitative resolvent estimates for the Dirichlet Laplacian.Abstract: Among all cylindrical beams of a given material, those with circular cross sections are the most resistant […]