OAI/Geometry/NodalSets/Elliptic/RealWeakJetPairings.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.partialJet_append_word line 12
2. lemma OAI.Yau.partialJet_tsupport_subset line 18
3. lemma OAI.Yau.partialJet_compactSupport line 25
4. lemma OAI.Yau.partialJet_perm_word line 30
5. theorem OAI.Yau.real_weak_jet_test_reversal line 40
6. theorem OAI.Yau.real_weak_jet_pairing_perm line 66
7. theorem OAI.Yau.real_weak_jet_perm_ae line 80