Registry · Remark V.R346 tau-effective not_applicable

V.R346 — The exponent as structural invariant

Exponent 18 is a topological invariant of tau^3; does not depend on any continuous parameter.

Book V Part 8 Ch. 70

Lean Formalization

Module: