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

Dependency Graph

Depends on (1)