one_lt_phi

used by (40)

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

• pitchJNDFraction_lt_one in IndisputableMonolith.Acoustics.MusicPitchJNDFromJCost decl_use
• agronomicTipPoint_lt_one in IndisputableMonolith.Agronomy.YieldGapFromJCost decl_use
• resonant_minimization in IndisputableMonolith.Applied.CoherenceTechnology decl_use
• preferredAspectRatio_gt_one in IndisputableMonolith.Architecture.GoldenSectionInProportion decl_use
• goldenDivision_lt_one in IndisputableMonolith.ArtHistory.FibonacciInComposition decl_use
• fastRadioBurstFromBITCert in IndisputableMonolith.Astrophysics.FastRadioBurstFromBIT decl_use
• ml_from_phi_tier_structure in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
• ml_matches_stellar_observations in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
• ml_geometric_bounds in IndisputableMonolith.Astrophysics.ObservabilityLimits decl_use
• r_orbit_strict_mono in IndisputableMonolith.Astrophysics.PlanetaryFormationFromJCost decl_use
• bimodal_ratio_lt_phi_nine in IndisputableMonolith.Astrophysics.PulsarPeriodFromRung decl_use
• alfvenToSolarWindRatio_gt_one in IndisputableMonolith.Astrophysics.SolarWindFromMHD decl_use
• J_bit_pos in IndisputableMonolith.Astrophysics.StellarAssembly decl_use
• covalent_barrier_higher in IndisputableMonolith.Chemistry.ActivationEnergy decl_use
• angle_bias in IndisputableMonolith.Chemistry.BondAngles decl_use
• optimalTempRatio_gt_one in IndisputableMonolith.Chemistry.HaberBoschFromPhiLadder decl_use
• tc_scaling in IndisputableMonolith.Chemistry.SuperconductingTc decl_use
• thermosphere_above_stratopause_ratio in IndisputableMonolith.Climate.AtmosphericLayeringFromPhiLadder decl_use
• horton_bifurcation_ratio_gt_one in IndisputableMonolith.Climate.RiverNetworkFromSigmaConservation decl_use
• horton_length_ratio_gt_one in IndisputableMonolith.Climate.RiverNetworkFromSigmaConservation decl_use
• log_bifurcation_ratio_pos in IndisputableMonolith.Climate.RiverNetworkFromSigmaConservation decl_use
• log_length_ratio_pos in IndisputableMonolith.Climate.RiverNetworkFromSigmaConservation decl_use
• z_rung_monotone in IndisputableMonolith.Cognition.AnimalZComplexityBound decl_use
• z_rung_strictly_increasing in IndisputableMonolith.Cognition.AnimalZComplexityBound decl_use
• criticalDamkohler_gt_one in IndisputableMonolith.Combustion.StabilizationTimescaleFromJCost decl_use
• high_tc_superconductivity_structure in IndisputableMonolith.CondensedMatter.HighTcSuperconductivityStructure decl_use
• alphaLock_pos in IndisputableMonolith.Constants decl_use
• hbar_lt_one in IndisputableMonolith.Constants decl_use
• one_lt_phi in IndisputableMonolith.Constants decl_use
• one_lt_phiPointSixOne in IndisputableMonolith.Constants decl_use

… and 10 more