Registry · Definition II.D32 established formalized

II.D32 — Interior j-Unit

The split-complex unit j: the automorphism of the fiber T^2 exchanging B and C coordinates, with j^2 = +1. Unlike i (rotation), j is an involution (polarity/reflection).

Book II Part 5 Ch. 27

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module: TauLib.BookII.Transcendentals.JReplacesI

Symbol: j_unit