IndisputableMonolith.Gravity.Analysis.RecognitionMeshHingeKappa4D

declarations in this module (19)

• def meshHingeKappa L63
• theorem meshHingeKappa_eq_one L66
• theorem meshHingeKappa_ne_zero L68
• theorem abs_arcsin_le_pi_div_two L74
• theorem meshGeometricDeficit_abs_le_two_pi L81
• def meshHingeChannels L92
• theorem meshHingeChannels_pos L94
• def meshHingeMeshScale L99
• theorem meshHingeMeshScale_pos L101
• theorem meshHingeKappa_source_dominated L109
• def TypedResidual_hinge_kappa_identified L131
• theorem typedResidual_hinge_kappa_identified_closed L143
• theorem TypedResidual_hinge_kappa_identified_closed L152
• theorem decoy_zero_kappa_fails_nontrivial L160
• theorem decoy_log_ratio_over_deficit_ne_meshHingeKappa L170
• theorem adversarial_decoys_hinge_kappa L204
• structure RecognitionMeshHingeKappa4DStatus L215
• def recognitionMeshHingeKappa4DStatus L220
• theorem recognitionMeshHingeKappa4DStatus_flags L226