OAI/Geometry/PrescribedPotential/HigherJetComposition.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Higher Jet Composition.

  1. lemma OAI.HigherJet.prod_one_exception line 16
  2. lemma OAI.HigherJet.OrderedFinpartition.large_part_unique line 38
  3. lemma OAI.HigherJet.OrderedFinpartition.prod_jet_bound line 51
  4. lemma OAI.HigherJet.composition_top_jet_bound line 75