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)

Depended on by (5)

Lean Formalization

Module: TauLib.BookII.CentralTheorem.BoundaryCharacters

Symbol: Tau.BookII.CentralTheorem.IdempotentCharacter