FieldLabels

📁 Source: PhysLean/Particles/SuperSymmetry/SU5/FieldLabels.lean

Statistics

Metric	Count
Definitions FieldLabel, RParity, instDecidableEqFieldLabel, instFintypeFieldLabel	4
Theorems	0
Total	4

SuperSymmetry.SU5

Definitions

Name	Category	Theorems
FieldLabel 📖	CompData	1 math math: PotentialTerm.no_conjugate_in_toFieldLabel_of_inSuperPotential
instDecidableEqFieldLabel 📖	CompOp	—
instFintypeFieldLabel 📖	CompOp	—

SuperSymmetry.SU5.FieldLabel

Definitions

Name	Category	Theorems
RParity 📖	CompOp	—

---

← Back to Index