OAI/Analysis/Conductivity/Variational/ContDiffClmDet.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.contDiff_clm_det line 17
2. lemma OAI.ScalarConductivity.contDiff_of_contDiffOn_tsupport line 32
3. lemma OAI.ScalarConductivity.localPiolaFlux_smooth line 41
4. lemma OAI.ScalarConductivity.exists_smooth_extension_near_compact line 64
5. lemma OAI.ScalarConductivity.compactFlux_local_test line 86
6. lemma OAI.ScalarConductivity.localPiolaFlux_zero_pairing line 103