OAI/Analysis/Conductivity/Variational/CentralAnchor.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ScalarConductivity.centralClosed_compact line 10
  2. lemma OAI.ScalarConductivity.centralTop_subset line 17
  3. lemma OAI.ScalarConductivity.centralBottom_subset line 21
  4. lemma OAI.ScalarConductivity.centralColumn_subset line 25
  5. def OAI.ScalarConductivity.centralConnector line 31
  6. lemma OAI.ScalarConductivity.centralConnector_subset line 33
  7. def OAI.ScalarConductivity.centralAnchorData line 55
  8. def OAI.ScalarConductivity.centralAnchorPiece line 67
  9. def OAI.ScalarConductivity.centralAnchor line 70
  10. def OAI.ScalarConductivity.centralAnchorLocalConstant line 72
  11. def OAI.ScalarConductivity.centralAnchorAverage line 75
  12. def OAI.ScalarConductivity.centralAnchorConstant line 78
  13. lemma OAI.ScalarConductivity.centralAnchorPiece_compact line 80
  14. lemma OAI.ScalarConductivity.centralAnchorPiece_subset line 83
  15. lemma OAI.ScalarConductivity.RectFootprint.prism_inter line 95
  16. lemma OAI.ScalarConductivity.centralAnchor_adjacent line 102
  17. lemma OAI.ScalarConductivity.centralCluster_compact line 113
  18. lemma OAI.ScalarConductivity.centralCluster_subset line 118
  19. lemma OAI.ScalarConductivity.centralAnchor_hover line 123
  20. lemma OAI.ScalarConductivity.centralAnchorConstant_nonneg line 129
  21. theorem OAI.ScalarConductivity.centralAnchor_poincare line 133