Results Registry Noteworthy Result Canonical physics The field strength tensor is gauge-invariant: under A_mu -> A_mu + (1/e)*partial_mu alpha, F_mu_nu -> F_mu_nu (mixed partials commute).
Results · Additional Noteworthy Results · Physics Standalone additional result Medium confidence

Gauge Invariance of F_mu_nu

The field strength tensor is gauge-invariant: under A_mu -> A_mu + (1/e)*partial_mu alpha, F_mu_nu -> F_mu_nu (mixed partials commute).

IV.T38 Physics Book IV tau-effective formalized

What this page is

This is a public Results-lane surface for a noteworthy Physics Registry item. It is generated from the Corpus Registry triage catalogue and keeps the generic Result catalogue unchanged.

Registry evidence

  • Registry item: IV.T38
  • Type: theorem
  • Scope: tau-effective
  • Lean status: formalized
  • Book / part / chapter: Book IV · Part 4 · Chapter 27

Result summary

The field strength tensor is gauge-invariant: under A_mu -> A_mu + (1/e)*partial_mu alpha, F_mu_nu -> F_mu_nu (mixed partials commute).

  • No existing public Results surface is linked yet; this record is promoted as a standalone Registry-backed result.

Reading role

Read as a standalone Registry-backed noteworthy result.

Claim boundary

This page reports a Registry-backed internal result surface. It is not an external validation claim, a scientific consensus claim, or independent acceptance.

Curation rationale

  • physics-facing terms: alpha
  • theorem/proposition-class item appears externally legible enough for standalone review

Review notes

  • No additional review notes recorded.

Inspection Links

Registry item IV.T38 Corpus Registry Inspect the atomic Registry projection. Verify Review semantic adequacy, bridge assumptions, and external challenge routes. Additional Noteworthy Results Return to the Registry-backed result surface.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert