Pith. sign in

IndisputableMonolith.Gravity.Analysis.MetricEdgeImage4DAudit

IndisputableMonolith/Gravity/Analysis/MetricEdgeImage4DAudit.lean · 14 lines · 0 declarations

show as:
view math explainer →

open module explainer GitHub source

Explainer status: pending

   1import IndisputableMonolith.Gravity.Analysis.MetricEdgeImage4D
   2
   3/-!
   4Axiom audit for MetricEdgeImage4D.
   5-/
   6
   7open IndisputableMonolith.Gravity.Analysis.MetricEdgeImage4D
   8
   9#print axioms strainCurrent_symm
  10#print axioms axisTTCross_in_MetricEdgeImage
  11#print axioms MetricEdgeImage_nontrivial
  12#print axioms elementaryPosting_not_in_MetricEdgeImage
  13#print axioms zero_in_MetricEdgeImage
  14

source mirrored from github.com/jonwashburn/shape-of-logic