OAI/Analysis/Conductivity/Flux/AttachedSplicedGreen.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.symmetric_dotProduct_mulVec_swap line 19
2. def OAI.ScalarConductivity.splicedAttachedGradient line 26
3. lemma OAI.ScalarConductivity.splicedAttached_energy_ae line 30
4. lemma OAI.ScalarConductivity.splicedAttached_smooth_green_pos line 48
5. lemma OAI.ScalarConductivity.splicedAttached_smooth_green_neg line 85