deficit

used by (40)

From the project-wide theorem graph. These declarations reference this one in their body.

• faces_per_vertex in IndisputableMonolith.Constants.AlphaDerivation decl_use
• passive_edges_at_D3 in IndisputableMonolith.Constants.AlphaDerivation decl_use
• angular_deficit_per_vertex in IndisputableMonolith.Constants.LambdaRecDerivation decl_use
• dihedral_angle in IndisputableMonolith.Constants.LambdaRecDerivation decl_use
• lambda_rec_is_forced in IndisputableMonolith.Constants.LambdaRecDerivation decl_use
• jPositivityUniversalityCert in IndisputableMonolith.CrossDomain.JPositivityUniversality decl_use
• JPositivityUniversalityCert in IndisputableMonolith.CrossDomain.JPositivityUniversality decl_use
• deficit_real in IndisputableMonolith.Experimental.GalliumAnomaly decl_use
• ea003_certificate in IndisputableMonolith.Experimental.GalliumAnomaly decl_use
• ga_capture_predicted in IndisputableMonolith.Experimental.GalliumAnomaly decl_use
• ga_capture_ratio in IndisputableMonolith.Experimental.GalliumAnomaly decl_use
• rs_solar_model_independent in IndisputableMonolith.Experimental.GalliumAnomaly decl_use
• totalHinges_eq in IndisputableMonolith.Foundation.FreudenthalTriangulationCert decl_use
• flat_zero_cost in IndisputableMonolith.Foundation.SimplicialLedger.ContinuumBridge decl_use
• stationarity_iff_laplacian_zero in IndisputableMonolith.Foundation.SimplicialLedger.ContinuumBridge decl_use
• cubicArea_nonneg in IndisputableMonolith.Foundation.SimplicialLedger.CubicDeficitDischarge decl_use
• cubicDeficitFunctional in IndisputableMonolith.Foundation.SimplicialLedger.CubicDeficitDischarge decl_use
• laplacian_action_as_prod_sum in IndisputableMonolith.Foundation.SimplicialLedger.CubicDeficitDischarge decl_use
• regge_sum_cubicHinges in IndisputableMonolith.Foundation.SimplicialLedger.CubicDeficitDischarge decl_use
• singletonHinge_edges in IndisputableMonolith.Foundation.SimplicialLedger.CubicDeficitDischarge decl_use
• HingeTrivial in IndisputableMonolith.Foundation.SimplicialLedger.CubicSimplicialEquivalence decl_use
• refinement_calibrated in IndisputableMonolith.Foundation.SimplicialLedger.CubicSimplicialEquivalence decl_use
• regge_sum_append_trivial in IndisputableMonolith.Foundation.SimplicialLedger.CubicSimplicialEquivalence decl_use
• regge_sum_nil in IndisputableMonolith.Foundation.SimplicialLedger.CubicSimplicialEquivalence decl_use
• regge_sum_refinement_invariant in IndisputableMonolith.Foundation.SimplicialLedger.CubicSimplicialEquivalence decl_use
• SimplicialRefinement in IndisputableMonolith.Foundation.SimplicialLedger.CubicSimplicialEquivalence decl_use
• SimplicialRefinement in IndisputableMonolith.Foundation.SimplicialLedger.CubicSimplicialEquivalence decl_use
• trivial_hinge_contribution in IndisputableMonolith.Foundation.SimplicialLedger.CubicSimplicialEquivalence decl_use
• conformal_edge_length_flat in IndisputableMonolith.Foundation.SimplicialLedger.EdgeLengthFromPsi decl_use
• DeficitAngleFunctional in IndisputableMonolith.Foundation.SimplicialLedger.EdgeLengthFromPsi decl_use

… and 10 more