W

used by (40)

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

• canonicalRecognitionCostSystem in IndisputableMonolith.Algebra.CostAlgebra decl_use
• canonicalRecognitionCostSystem_cost_inv in IndisputableMonolith.Algebra.CostAlgebra decl_use
• canonicalRecognitionCostSystem_cost_one in IndisputableMonolith.Algebra.CostAlgebra decl_use
• canonicalSigma in IndisputableMonolith.Algebra.CostAlgebra decl_use
• RecognitionCostSystem in IndisputableMonolith.Algebra.CostAlgebra decl_use
• seqShift in IndisputableMonolith.Algebra.CostAlgebra decl_use
• windowSums in IndisputableMonolith.Algebra.CostAlgebra decl_use
• windowSums_shift_equivariant in IndisputableMonolith.Algebra.CostAlgebra decl_use
• LuminosityTier in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
• prefersBCC in IndisputableMonolith.Chemistry.CrystalStructure decl_use
• stability_tradeoff in IndisputableMonolith.Chemistry.CrystalStructure decl_use
• c020_derivation_strategy in IndisputableMonolith.Constants.ElectroweakVEVStructure decl_use
• vev_phi_ladder_position in IndisputableMonolith.Constants.ElectroweakVEVStructure decl_use
• su3_sector in IndisputableMonolith.Cosmology.NonAbelianSuppression decl_use
• w_mass_anomaly_structure in IndisputableMonolith.Cosmology.WMassAnomalyStructure decl_use
• w_mass_atlas_measurement in IndisputableMonolith.Cosmology.WMassAnomalyStructure decl_use
• w_mass_implies_ew_scale in IndisputableMonolith.Cosmology.WMassAnomalyStructure decl_use
• w_mass_phi_ladder_position in IndisputableMonolith.Cosmology.WMassAnomalyStructure decl_use
• w_mass_sigma_comparison in IndisputableMonolith.Cosmology.WMassAnomalyStructure decl_use
• w_z_mass_ratio in IndisputableMonolith.Cosmology.WMassAnomalyStructure decl_use
• flyby_significance in IndisputableMonolith.Experimental.FlybyAnomaly decl_use
• GaugeTreeProcess in IndisputableMonolith.Foundation.QRFT.GaugeTreeAmplitudesCert decl_use
• is in IndisputableMonolith.Foundation.SimplicialLedger.EdgeLengthFromPsi decl_use
• simplicialFieldCurvatureCert in IndisputableMonolith.Foundation.SimplicialLedger.SimplicialDeficitDischarge decl_use
• SimplicialFieldCurvatureCert in IndisputableMonolith.Foundation.SimplicialLedger.SimplicialDeficitDischarge decl_use
• deficitLinearizationCert in IndisputableMonolith.Geometry.DeficitLinearization decl_use
• DeficitLinearizationCert in IndisputableMonolith.Geometry.DeficitLinearization decl_use
• linear_regge_vanishes in IndisputableMonolith.Geometry.DeficitLinearization decl_use
• solution_exists in IndisputableMonolith.Gravity.RotationILG decl_use
• bilinearCoefficient in IndisputableMonolith.Gravity.WeakFieldConformalRegge decl_use

… and 10 more