QFT

QFT modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.

41 modules · 228 thm/lemma · 4138 lines

module	thm	lemma	def	lines	papers
`QFT.Anomalies`	18	0	11	237	-
`QFT.Anomalous_Dimension_RS`	4	0	3	36	-
`QFT.CKM_Unitarity_Triangle_RS`	4	0	3	36	-
`QFT.CasimirEightTickInterference`	2	0	2	59	-
`QFT.CasimirLifshitz`	2	0	4	74	-
`QFT.CasimirNumericalBounds`	2	0	4	82	-
`QFT.CasimirPFA`	2	0	2	70	-
`QFT.CasimirPhiCorrections`	5	0	2	172	-
`QFT.CasimirPlateModes`	8	0	8	144	-
`QFT.CasimirPolderAtomSurface`	3	0	4	99	-
`QFT.CasimirRecognitionBoundary`	8	0	5	148	-
`QFT.CasimirRoughness`	2	0	3	58	-
`QFT.CasimirStabilityBound`	2	0	2	54	-
`QFT.CasimirThermal`	2	0	4	63	-
`QFT.CasimirTorque`	3	0	2	62	-
`QFT.CasimirZetaRegularization`	3	0	3	71	-
`QFT.Confinement`	8	0	11	250	-
`QFT.DynamicCasimirRecognition`	2	0	2	76	-
`QFT.ElectroweakScaleStructure`	7	0	1	75	-
`QFT.HiggsMechanism`	15	0	8	241	-
`QFT.Higgs_Self_Coupling_RS`	4	0	3	36	-
`QFT.LambShift`	13	0	19	214	-
`QFT.NoetherTheorem`	11	0	11	290	-
`QFT.RS_QFT_Structural_001`	4	0	3	36	-
`QFT.RS_QFT_Structural_002`	4	0	3	36	-
`QFT.RS_QFT_Structural_003`	4	0	3	36	-
`QFT.RS_QFT_Structural_004`	4	0	3	36	-
`QFT.RS_QFT_Structural_005`	4	0	3	36	-
`QFT.RS_QFT_Structural_006`	4	0	3	36	-
`QFT.RS_QFT_Structural_007`	4	0	3	36	-
`QFT.RS_QFT_Structural_008`	4	0	3	36	-
`QFT.RS_QFT_Structural_009`	4	0	3	36	-
`QFT.RS_QFT_Structural_010`	4	0	3	36	-
`QFT.Renormalization_Group_RS`	4	0	3	36	-
`QFT.RunningCouplings`	13	2	15	215	-
`QFT.Top_Quark_Yukawa_RS`	4	0	3	36	-
`QFT.UVCutoff`	6	0	18	250	-
`QFT.Unitarity`	10	0	2	209	-
`QFT.VacuumFluctuations`	11	0	8	281	-
`QFT.VacuumStability`	4	0	1	68	-
`QFT.Vacuum_Energy_RS`	4	0	3	36	-