IndisputableMonolith.Gravity.Analysis.ReggeFoldSchlaefliBookkeeping4D

declarations in this module (31)

• def expectedFoldToActionFactor L101
• def decoyFactorOne L104
• def decoyFactorFour L108
• structure FlatReggeVariation L117
• def deficitVel L141
• def deficitAccel L146
• def crossTermFace L151
• def actionSecondVariationFull L156
• theorem actionSecondVariation_eq_two_mul_crossTerm L166
• def taylorCoeffOfPhased L182
• def secondDerivOfPhased L186
• theorem taylorCoeff_eq_half_secondDeriv L191
• def taylorCoeffOfFace L199
• def twoSheetReading L207
• theorem twoSheetReading_eq_half L210
• theorem dictFace_eq_two_mul_foldFace L221
• def derivedFoldToActionFactor L231
• theorem derivedFoldToActionFactor_eq_two L239
• theorem decoyFactorOne_ne_derived L248
• theorem decoyFactorFour_ne_derived L254
• def freudenthalFlatVariation L265
• theorem freudenthal_derived_factor_eq_two L284
• def unitVariation L300
• theorem unitVariation_crossTermFace L311
• theorem unitVariation_actionSecondVariation L315
• theorem unitVariation_dictFace L321
• theorem unitVariation_foldFace L326
• theorem unitVariation_factor_eq_two L332
• theorem schlaefli_bookkeeping_gate L340
• def FoldToActionFactorDerived L353
• theorem FoldToActionFactorDerived_holds L358