Registry · Corollary
IV.C3
tau-effective
not_formalized
IV.C3 — Ontological Identity of Laws and Matter
In tau3: align "A law of physics" &= a Hom-object in tau3
Book IV
Part 8
Ch. 72
In tau3: align "A law of physics" &= a Hom-object in tau3