OAI/NumberTheory/PiExponent/Jets/AffineJetCoefficientFrame.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PiExponent.AffineJetCoefficientFrame.untwistPowerFrame line 12
2. lemma OAI.PiExponent.AffineJetCoefficientFrame.restrictionSectionsIso_restrict_value line 19
3. lemma OAI.PiExponent.AffineJetCoefficientFrame.restrictionSectionsIso_unit line 29
4. theorem OAI.PiExponent.AffineJetCoefficientFrame.globalSectionCoefficient_eq line 37
5. def OAI.PiExponent.AffineJetCoefficientFrame.polynomialPowerFrame line 59
6. theorem OAI.PiExponent.AffineJetCoefficientFrame.polynomialCoefficient_eq line 67