Registry · Theorem I.T11a established formalized

I.T11a — Six-Generator Rigidity Failure

A 6-generator tau-like system admits a non-trivial rho-automorphism: the swap eta <-> zeta commutes with rho6 and is an involution, yet is not the identity. This breaks rigidity.

Book I Part 3 Ch. 12

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookI.Orbit.TooMany

Symbol: Tau.Orbit.TooMany.six_gen_rigidity_fails