Registry · Theorem
II.T24
established
formalized
II.T24 — j Replaces i
The fiber involution sigma: B <-> C is the unique non-trivial ABCD-preserving automorphism of T^2, forcing j (with j^2 = +1) as the canonical algebraic structure. The classical i has no tau-internal avatar.
Book II
Part 5
Ch. 27