Status

used by (40)

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

• ground_state_is_unique_critical_point in IndisputableMonolith.Action.EulerLagrange decl_use
• principle_of_least_action in IndisputableMonolith.Action.FunctionalConvexity decl_use
• energy_conservation in IndisputableMonolith.Action.Hamiltonian decl_use
• energy_conservation_of_J_action in IndisputableMonolith.Action.Noether decl_use
• interp_fixedEndpoints in IndisputableMonolith.Action.PathSpace decl_use
• actionJ_to_kinetic_bridge in IndisputableMonolith.Action.QuadraticLimit decl_use
• AllConstantsDerived in IndisputableMonolith.Astrophysics.MassToLight decl_use
• H_RSZeroParameterStatus in IndisputableMonolith.Astrophysics.MassToLight decl_use
• ml_derivation_complete in IndisputableMonolith.Astrophysics.MassToLight decl_use
• ml_derivation_falsifiable in IndisputableMonolith.Astrophysics.MassToLight decl_use
• ml_from_geometry_only in IndisputableMonolith.Astrophysics.ObservabilityLimits decl_use
• ml_zero_parameter_certificate in IndisputableMonolith.Astrophysics.ObservabilityLimits decl_use
• dissolution_holds in IndisputableMonolith.Complexity.PvsNPAssembly decl_use
• known_lit_false'' in IndisputableMonolith.Complexity.SAT.Backprop decl_use
• list_singleton_of_length_one' in IndisputableMonolith.Complexity.SAT.Backprop decl_use
• BackpropCompleteUnderInvariant in IndisputableMonolith.Complexity.SAT.Completeness decl_use
• consistent_completeStateFrom in IndisputableMonolith.Complexity.SAT.Completeness decl_use
• k_R_lt_half in IndisputableMonolith.Constants.BoltzmannConstant decl_use
• k_R_ne_zero in IndisputableMonolith.Constants.BoltzmannConstant decl_use
• thermal_energy_at_unit_T in IndisputableMonolith.Constants.BoltzmannConstant decl_use
• DimensionedQuantity in IndisputableMonolith.Constants.Dimensions decl_use
• hierarchy_problem_dissolution in IndisputableMonolith.Constants.ElectroweakVEVStructure decl_use
• vev_implies_phi_ne_one in IndisputableMonolith.Constants.ElectroweakVEVStructure decl_use
• euler_mascheroni_implies_ne_zero in IndisputableMonolith.Constants.EulerMascheroni decl_use
• gamma_numerical_bounds in IndisputableMonolith.Constants.EulerMascheroni decl_use
• planck_gate_normalized in IndisputableMonolith.Constants.PlanckScaleMatching decl_use
• mass_ratio_structural in IndisputableMonolith.Constants.ProtonElectronMassRatio decl_use
• c_in_si in IndisputableMonolith.Constants.RSNativeUnits decl_use
• Hubble_from_Omega_Lambda in IndisputableMonolith.Cosmology.CosmologicalConstantDerivation decl_use
• Axion in IndisputableMonolith.Cosmology.DarkMatter decl_use

… and 10 more