IndisputableMonolith.Gravity.Analysis.RecognitionMeshGeometricDeficit4D

declarations in this module (16)

• def meshGeometricDeficit L61
• theorem meshGeometricDeficit_eq_starDeficit L64
• theorem meshGeometricDeficit_eq_arcsin L68
• theorem meshGeometricDeficit_regge_convention L73
• theorem meshGeometricDeficit_odd L78
• theorem meshGeometricDeficit_flat L82
• theorem meshGeometricDeficit_sign L85
• def TypedResidual_mesh_geometricDeficit_identified L99
• theorem typedResidual_mesh_geometricDeficit_identified_closed L109
• theorem TypedResidual_mesh_geometricDeficit_identified_closed L117
• theorem decoy_even_function_ne_mesh_geometricDeficit L126
• theorem decoy_log_even_ratio_over_kappa_ne_starDeficit L134
• theorem adversarial_decoys_mesh_geometricDeficit L148
• structure RecognitionMeshGeometricDeficit4DStatus L161
• def recognitionMeshGeometricDeficit4DStatus L166
• theorem recognitionMeshGeometricDeficit4DStatus_flags L172