OAI/Geometry/SmoothYau/Limits/ContinuousGradientIterated.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- lemma
OAI.YauCounterexamples.continuous_gradient_of_iteratedline 40
OAI/Geometry/SmoothYau/Limits/ContinuousGradientIterated.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.YauCounterexamples.continuous_gradient_of_iterated line 40