Registry · Theorem IV.T363 tau-effective not_formalized

IV.T363 — tau3 Decay Classification

All three decay modes unified in tau3:

Book IV Part 5 Ch. 41

Dependency Graph

Depends on (1)

IV.D254