OAI/Analysis/Conductivity/Scalarization/CascadeConstitution.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.ae_coord3_ne line 11
2. lemma OAI.ScalarConductivity.ae_cascadePhase_ne line 14
3. lemma OAI.ScalarConductivity.cascadeValue_direction_terminal line 23
4. theorem OAI.ScalarConductivity.cascadeTensor_constitution_ae line 33