Pith. sign in

IndisputableMonolith.Gravity.Analysis.ReggeExactFlatHessianBlochM2Rayleigh4DAudit

IndisputableMonolith/Gravity/Analysis/ReggeExactFlatHessianBlochM2Rayleigh4DAudit.lean · 8 lines · 0 declarations

show as:
view math explainer →

open module explainer GitHub source

Explainer status: ready · generated 2026-08-22 15:33:49.959456+00:00

   1import IndisputableMonolith.Gravity.Analysis.ReggeExactFlatHessianBlochM2Rayleigh4D
   2
   3open IndisputableMonolith.Gravity.Analysis.ReggeExactFlatHessianBlochM2Rayleigh4D
   4
   5#print axioms exactMidpointBlochM2_rayleigh_eq_unitFrobeniusTTCoeff
   6#print axioms exactMidpointBlochM2_rayleigh_eq_gaugeCoeff
   7#print axioms typedResidual_m2_rayleigh_eq_algebraic_face
   8

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