OAI/Analysis/Conductivity/Variational/FiniteEndPhysicalRegularity.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.TwoFieldRankRegular.smoothCoordinates line 13
2. lemma OAI.ScalarConductivity.sourceCollarInverse_contDiffAt line 39
3. lemma OAI.ScalarConductivity.isOpen_sourceCollarOpenImage line 53
4. lemma OAI.ScalarConductivity.sourceCollarInverse_contDiffOn line 60
5. lemma OAI.ScalarConductivity.sourceCollarInverse_fderiv_surjective line 66