half

used by (40)

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

• pleasure_symmetric in IndisputableMonolith.Aesthetics.BerlyneInvertedU decl_use
• cross_cousin_count in IndisputableMonolith.Anthropology.KinshipGraphCohomology decl_use
• kinshipGraphCohomologyCert in IndisputableMonolith.Anthropology.KinshipGraphCohomology decl_use
• styleGap in IndisputableMonolith.ArtHistory.StyleSuccessionFromJCost decl_use
• AgreesAtHalfRung in IndisputableMonolith.Astrophysics.PlanetaryFormationFromJCost decl_use
• planetaryFormationCert in IndisputableMonolith.Astrophysics.PlanetaryFormationFromJCost decl_use
• two_rung_gap_eq_phi_squared in IndisputableMonolith.Astrophysics.PlanetaryFormationFromJCost decl_use
• cesium_low_en in IndisputableMonolith.Chemistry.Electronegativity decl_use
• IsStokesMildTraj in IndisputableMonolith.ClassicalBridge.Fluids.ContinuumLimit2D decl_use
• half_period_dim_eq in IndisputableMonolith.Constants.AlphaHigherOrder decl_use
• reduced_configs_2 in IndisputableMonolith.Constants.AlphaHigherOrder decl_use
• balance_from_conservation in IndisputableMonolith.Constants.CurvatureSpaceDerivation decl_use
• config_space_complete in IndisputableMonolith.Constants.CurvatureSpaceDerivation decl_use
• chirality_product_equals_gap_minus_one in IndisputableMonolith.Cosmology.EtaBExactRungDerivation decl_use
• peak_exceeds_single_gap in IndisputableMonolith.CrossDomain.RegulatoryCeiling decl_use
• peak_fits_double_gap in IndisputableMonolith.CrossDomain.RegulatoryCeiling decl_use
• tenfold_times_D in IndisputableMonolith.CrossDomain.TenFoldCombinations decl_use
• per_turn_at_kappa_one in IndisputableMonolith.Flight.TeslaTurbine decl_use
• fundamentalFrequency in IndisputableMonolith.Foundation.EightTick decl_use
• laws_polynomial_implies_continuous in IndisputableMonolith.Foundation.GeneralizedDAlembert decl_use
• jcost_unit_curvature in IndisputableMonolith.Foundation.JCostGeometry decl_use
• fermions_eq_D_times_V in IndisputableMonolith.Foundation.SpectralEmergence decl_use
• fermion_rotation_phase_neg_one in IndisputableMonolith.Foundation.SpinStatistics decl_use
• mwcSize_eq in IndisputableMonolith.GameTheory.CoalitionSizeFromConfigDim decl_use
• S_radiation_le_S_BH in IndisputableMonolith.Gravity.BlackHoleInformationPreservation decl_use
• p_steepness_pos in IndisputableMonolith.Gravity.GravityParameters decl_use
• mass_lt_implies_temp_gt in IndisputableMonolith.Gravity.HawkingTemperatureFromRung decl_use
• C_competing_gt_C_kernel in IndisputableMonolith.Gravity.ILGSpatialKernel decl_use
• C_kernel_band in IndisputableMonolith.Gravity.ILGSpatialKernel decl_use
• C_kernel_pos in IndisputableMonolith.Gravity.ILGSpatialKernel decl_use

… and 10 more