Pith. sign in

IndisputableMonolith.Gravity.Analysis.ReggeExactFlatHessianBlochSymbolZero4DAudit

IndisputableMonolith/Gravity/Analysis/ReggeExactFlatHessianBlochSymbolZero4DAudit.lean · 6 lines · 0 declarations

show as:
view math explainer →

open module explainer GitHub source

Explainer status: pending

   1import IndisputableMonolith.Gravity.Analysis.ReggeExactFlatHessianBlochSymbolZero4D
   2open IndisputableMonolith.Gravity.Analysis.ReggeExactFlatHessianBlochSymbolZero4D
   3#print axioms qCoeff_eq_zero
   4#print axioms exactMidpointBlochSymbolZero_eq_zero
   5#print axioms typedResidual_midpointBloch_symbolZero
   6

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