OAI/Geometry/NodalSets/Elliptic/CompactParameterEllipticityLemmas.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Yau.Geometry.compact_parameter_matrix_ellipticity line 14
2. lemma OAI.Yau.Geometry.compact_parameter_scalar_bound line 40
3. theorem OAI.Yau.Geometry.local_bilinear_coercivity line 55