OAI/Analysis/Conductivity/Branching/PhysicalRankTransport.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.branchCollar_regular_ae line 17
2. lemma OAI.ScalarConductivity.sourceChildInverse_fderiv_surjective line 36
3. lemma OAI.ScalarConductivity.sourceChildTensorPush_contDiffOn line 45
4. lemma OAI.ScalarConductivity.sourceChild_regular_at line 57
5. def OAI.ScalarConductivity.periodicCorrectionJet line 81
6. lemma OAI.ScalarConductivity.parentPeriodicCorrection_exists line 93
7. lemma OAI.ScalarConductivity.childPeriodicCorrection_exists line 113
8. theorem OAI.ScalarConductivity.triplePeriodicCorrection_exists line 144