one

used by (40)

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

• costRateEL_implies_const_one in IndisputableMonolith.Action.EulerLagrange decl_use
• geodesicEquationHolds in IndisputableMonolith.Action.EulerLagrange decl_use
• actionJ_convex_on_interp in IndisputableMonolith.Action.FunctionalConvexity decl_use
• actionJ_local_min_is_global in IndisputableMonolith.Action.FunctionalConvexity decl_use
• actionJ_minimum_unique_value in IndisputableMonolith.Action.FunctionalConvexity decl_use
• no_eighth_plot in IndisputableMonolith.Aesthetics.NarrativeGeodesic decl_use
• Jcost_anti_mono_on_unit_interval in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• symmetryGroupPreferenceCert in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• canonicalRecognitionCostSystem_cost_inv in IndisputableMonolith.Algebra.CostAlgebra decl_use
• shiftedCompose_val in IndisputableMonolith.Algebra.CostAlgebra decl_use
• windowSums in IndisputableMonolith.Algebra.CostAlgebra decl_use
• PhiInt in IndisputableMonolith.Algebra.PhiRing decl_use
• PhiInt in IndisputableMonolith.Algebra.PhiRing decl_use
• phiInt_sq in IndisputableMonolith.Algebra.PhiRing decl_use
• phi_ring_certificate in IndisputableMonolith.Algebra.PhiRing decl_use
• canonicalPhiRingObj in IndisputableMonolith.Algebra.RecognitionCategory decl_use
• initial_morphism_exists in IndisputableMonolith.Algebra.RecognitionCategory decl_use
• phiRing_comp in IndisputableMonolith.Algebra.RecognitionCategory decl_use
• PhiRingHom in IndisputableMonolith.Algebra.RecognitionCategory decl_use
• PhiRingObj in IndisputableMonolith.Algebra.RecognitionCategory decl_use
• trivial in IndisputableMonolith.Anthropology.KinshipGraphCohomology decl_use
• eV_to_J_pos in IndisputableMonolith.Applied.PhotobiomodulationDevice decl_use
• rs_pattern in IndisputableMonolith.Applied.PhotobiomodulationDevice decl_use
• ml_nucleosynthesis_eq_phi in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
• NuclearTier in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
• r_orbit_adjacent_ratio_band in IndisputableMonolith.Astrophysics.PlanetaryFormationFromJCost decl_use
• bimodal_ratio_lt_phi_nine in IndisputableMonolith.Astrophysics.PulsarPeriodFromRung decl_use
• ml_is_phi_power in IndisputableMonolith.Astrophysics.StellarAssembly decl_use
• fr_valence_one in IndisputableMonolith.Chemistry.AtomicRadii decl_use
• essentialSymmetry in IndisputableMonolith.Chemistry.CrystalSymmetry decl_use

… and 10 more