OAI/Analysis/Conductivity/Branching/BranchOutputNormalization.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ScalarConductivity.branchNormalize line 15
  2. lemma OAI.ScalarConductivity.branchNormalize_involutive line 18
  3. lemma OAI.ScalarConductivity.branchNormalize_add line 23
  4. def OAI.ScalarConductivity.branchNormalizeLinear line 30
  5. def OAI.ScalarConductivity.branchNormalizeEquiv line 37
  6. lemma OAI.ScalarConductivity.branchNormalizeEquiv_apply line 44
  7. lemma OAI.ScalarConductivity.branchNormalize_basis_slopes line 47
  8. lemma OAI.ScalarConductivity.branchNormalize_normalized_slope line 52
  9. lemma OAI.ScalarConductivity.branchNormalize_affineField line 56
  10. lemma OAI.ScalarConductivity.branchNormalize_means line 66
  11. lemma OAI.ScalarConductivity.TorusEndingData.terminal_component line 93
  12. lemma OAI.ScalarConductivity.TorusEndingData.terminal_gradient line 98
  13. lemma OAI.ScalarConductivity.TorusEndingData.terminal_flux line 116
  14. lemma OAI.ScalarConductivity.TorusEndingData.fluxCorrection_at_zero line 128
  15. lemma OAI.ScalarConductivity.TorusEndingData.fluxCorrection_at_terminal line 134