OAI/Geometry/WeakHessian/HeatFlow/ResolventGraphConvergence.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessianFunctional.ClosedQuadraticEnergy.formGenerator_scaled_resolvent line 18
2. lemma OAI.WeakHessian.cheeger_double_resolvent_graph_tendsto line 37