Registry · Definition II.D59 established formalized

II.D59 — Idempotent-Supported Character

Idempotent-Supported Character

Book II Part 9 Ch. 47

Dependency Graph

Depends on (6)

I.D19 I.D21 I.D22 I.D23 II.L07 II.D35

Depended on by (5)

II.D60 II.L12 II.P14 II.T37 II.T40

Lean Formalization

Module: TauLib.BookII.CentralTheorem.BoundaryCharacters

Symbol: Tau.BookII.CentralTheorem.IdempotentCharacter