OAI/Geometry/NodalSets/Elliptic/UniformTransport.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Jets.transportKnown_family line 11
2. lemma OAI.Yau.Jets.secondOrderCoefficient_family line 27
3. theorem OAI.Yau.Jets.finite_transport_jets_continuous line 49
4. theorem OAI.Yau.Jets.transport_tower_continuous line 89