OAI/Analysis/Conductivity/Flux/DelayedPairFlux.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.matrix_product_col_eq_mulVec line 12
2. def OAI.ScalarConductivity.delayedPairFlux line 15
3. lemma OAI.ScalarConductivity.delayedPairFlux_C1 line 18
4. lemma OAI.ScalarConductivity.delayedPairFlux_divergence line 25
5. lemma OAI.ScalarConductivity.delayedPairFlux_constitution_ae line 32