OAI/Analysis/StrictMeans/IndexEuler.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.StrictInverseFirstPower.Grid.vertexMass line 11
  2. lemma OAI.StrictInverseFirstPower.Grid.finite_vertexMass line 14
  3. lemma OAI.StrictInverseFirstPower.Grid.finite_weight line 18
  4. lemma OAI.StrictInverseFirstPower.Grid.finite_weight_shift line 21
  5. lemma OAI.StrictInverseFirstPower.Grid.finsum_weight line 28
  6. lemma OAI.StrictInverseFirstPower.Grid.finsum_weight_shift line 38
  7. lemma OAI.StrictInverseFirstPower.Grid.edge_mass line 44
  8. lemma OAI.StrictInverseFirstPower.Grid.top_mass_factor line 59
  9. lemma OAI.StrictInverseFirstPower.Grid.triangle_mass line 73
  10. def OAI.StrictInverseFirstPower.Grid.meshEdges line 85
  11. def OAI.StrictInverseFirstPower.Grid.meshLower line 86
  12. def OAI.StrictInverseFirstPower.Grid.meshUpper line 87
  13. lemma OAI.StrictInverseFirstPower.Grid.finsum_vertexMass line 90
  14. lemma OAI.StrictInverseFirstPower.Grid.edge_index_sum line 94
  15. lemma OAI.StrictInverseFirstPower.Grid.lower_index_sum line 114
  16. lemma OAI.StrictInverseFirstPower.Grid.upper_index_sum line 142
  17. lemma OAI.StrictInverseFirstPower.Grid.index_euler_sum line 151