module module

`IndisputableMonolith.Masses.Anchor`

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

Last generation error: xAI API error (404): <html> <head><title>404 Not Found</title></head> <body> <center><h1>404 Not Found</h1></center> <hr><center>nginx</center> <script>(function(){function c(){var b=a.contentDocument||a.contentWindow.document;if(b){var d=b.createElement('script');d.innerHTML="window.__CF$cv$params={r:'9fb1fca5b95d

generate prose now

used by (17)

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

IndisputableMonolith.Constants.ElectronMass module_import
IndisputableMonolith.Constants.ProtonElectronMassRatio module_import
IndisputableMonolith.Masses.AnchorDerivation module_import
IndisputableMonolith.Masses.AnchorPolicy module_import
IndisputableMonolith.Masses.BaselineDerivation module_import
IndisputableMonolith.Masses.BosonVerification module_import
IndisputableMonolith.Masses.ElectroweakMasses module_import
IndisputableMonolith.Masses.LeptonMassLadder module_import
IndisputableMonolith.Masses.MassHierarchy module_import
IndisputableMonolith.Masses.MassLaw module_import
IndisputableMonolith.Masses.MuRatioScoreCard module_import
IndisputableMonolith.Masses.QuarkScoreCard module_import
IndisputableMonolith.Masses.QuarkVerification module_import
IndisputableMonolith.Masses.RungConstructor.Proofs module_import
IndisputableMonolith.Masses.Verification module_import
IndisputableMonolith.Particles.CKMDerivation module_import
IndisputableMonolith.StandardModel.HiggsYukawaBridge module_import

depends on (2)

Lean names referenced from this declaration's body.

IndisputableMonolith.Constants module_import
IndisputableMonolith.Constants.AlphaDerivation module_import

used by (17)

depends on (2)

declarations in this module (25)