IndisputableMonolith.Gravity.Analysis.OrderSensitiveHistoryResponse4D

declarations in this module (25)

• def listFingerprint L41
• def antisymEdge L44
• def seatGen1 L51
• def historyResponse L55
• def responseDiff L58
• def edgeCurrentFirstVariation L62
• def diracProbe L65
• def unitWeight L68
• theorem seatGen1_ne L70
• theorem antisymEdge_fwd L74
• theorem antisymEdge_rev L78
• theorem historyResponse_fwd L82
• theorem historyResponse_rev L88
• theorem fingerprint_separates_cfgAB L94
• theorem historyResponse_separates_cfgAB L99
• theorem finiteCertificate_cfgAB L106
• theorem edgeCurrentFirstVariation_dirac L111
• theorem edgeAction_separates_cfgAB L132
• theorem responseDiff_fwd L143
• theorem responseDiff_rev L149
• theorem responseDiff_fwd_ne L155
• theorem responseDiff_cfgAB_not_in_MetricEdgeImage L161
• theorem decoy_depthOne_blind L180
• theorem discovery_pair_is_certificate_cfgAB L183
• theorem orderSensitive_finite_gate_cfgAB L187