Registry · Lemma I.L01 established formalized

I.L01 — Pentation Non-Injectivity

No fifth orbit channel exists (K6), so pentation cannot be equipped with canonical injectivity within tau.

Book I Part 2 Ch. 8

Dependency Graph

Depends on (3)

I.D06 I.K6 I.D03

Lean Formalization

Module: TauLib.BookI.Orbit.Ladder

Symbol: Tau.Orbit.pentation_non_inj