Registry · Remark IV.R23 tau-effective not_applicable

IV.R23 — Flux Quantization on tau^1

Total EM flux through a cross-section of tau^3 is quantized: Phi_total = n*Phi_0 with n in Z, forced by pi_1(tau^1) = Z.

Book IV Part 4 Ch. 27

Dependency Graph

Depends on (2)

Lean Formalization

Module: