def definition def or abbrev

`anomalyProofs`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 228def anomalyProofs : AnomalyProofSummary where
 229  eight_tick := eight_quanta_full_rotation

proof body

Definition body.

 230  pi0_accurate := pi0_prediction_within_2_percent
 231  qcd_af := qcd_asymptotic_freedom_nf6
 232  anomaly_antisym := anomaly_antisymmetric
 233
 234end Anomalies
 235end QFT
 236end IndisputableMonolith

depends on (9)

Lean names referenced from this declaration's body.

eight_tick in IndisputableMonolith.Foundation.DimensionForcing decl_use
eight_tick in IndisputableMonolith.Gap45.PhysicalMotivation decl_use
anomaly_antisymmetric in IndisputableMonolith.QFT.Anomalies decl_use
AnomalyProofSummary in IndisputableMonolith.QFT.Anomalies decl_use
eight_quanta_full_rotation in IndisputableMonolith.QFT.Anomalies decl_use
pi0_prediction_within_2_percent in IndisputableMonolith.QFT.Anomalies decl_use
qcd_asymptotic_freedom_nf6 in IndisputableMonolith.QFT.Anomalies decl_use
eight_tick in IndisputableMonolith.RRF.Foundation.Constants decl_use
eight_tick in IndisputableMonolith.Thermodynamics.RecognitionThermodynamics decl_use