Registry · Theorem IV.T247 tau-effective not_formalized

IV.T247 — Conservation as Naturality

Every conservation law in the tau3 framework is a naturality condition: equationeq:ch70-conservation-naturality %

Book IV Part 8 Ch. 72

Dependency Graph

Depends on (2)

IV.D254 IV.D281