Registry · Theorem
IV.T373
conjectural
not_formalized
IV.T373 — Translation Completeness
Every Standard Model entity has exactly one tau3 correspondent. The translation is a bijection between the two...
Book IV
Part 4
Ch. 34