module
module
IndisputableMonolith.Gravity.Analysis.ReggeExactFlatHessianBlochData4D
show as:
view Lean formalization →
used by (5)
-
IndisputableMonolith.Gravity.Analysis.ReggeExactFlatHessianBlochSymbol4D -
IndisputableMonolith.Gravity.Analysis.ReggeExactFlatHessianBlochSymbolZero4D -
IndisputableMonolith.Gravity.Analysis.ReggeExactMidpointM2TTIdentity4D -
IndisputableMonolith.Gravity.Analysis.ReggeExactMidpointM2TTIdentity4DKernelCert -
IndisputableMonolith.Gravity.Analysis.ReggeExactMidpointM2TTIdentity4DKernelGlue
declarations in this module (19)
-
structure
Coupling -
def
couplingChunk0 -
def
couplingChunk1 -
def
couplingChunk2 -
def
couplingChunk3 -
def
couplingChunk4 -
def
couplingChunk5 -
def
couplingChunk6 -
def
couplingChunk7 -
def
couplingChunk8 -
def
couplingChunk9 -
def
couplingChunk10 -
def
couplingChunk11 -
def
couplingChunk12 -
def
couplingChunk13 -
def
couplingChunk14 -
def
couplingChunk15 -
def
couplingTable -
theorem
couplingTable_size