IndisputableMonolith.Gravity.Analysis.ReggeExactFlatHessianBlochTorusBridge4DAudit
IndisputableMonolith/Gravity/Analysis/ReggeExactFlatHessianBlochTorusBridge4DAudit.lean · 9 lines · 0 declarations
show as:
view math explainer →
1import IndisputableMonolith.Gravity.Analysis.ReggeExactFlatHessianBlochTorusBridge4D
2open IndisputableMonolith.Gravity.Analysis.ReggeExactFlatHessianBlochTorusBridge4D
3#print axioms tendsto_torusScale_nhdsWithin_ne_zero
4#print axioms tendsto_exactMidpointBloch_torus_family_centered
5#print axioms tendsto_exactMidpointBloch_torus_family
6#print axioms discrete_torus_family_bridge_of_symbolZero
7#print axioms discrete_torus_family_bridge
8#print axioms continuumSymbolIs_midpoint_rayleigh
9