OAI/Geometry/NodalSets/Charts/ChartDerivativeTransfer.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Geometry.chart_comp_derivative_bound line 11
2. theorem OAI.Yau.Geometry.chart_wave_size_transfer line 25
3. theorem OAI.Yau.Geometry.chart_residual_bound_transfer line 39