Registry · Definition II.D02 established formalized

II.D02 — Tau-Admissible Point

Tau-Admissible Point

Book II Part 1 Ch. 4

Dependency Graph

Depends on (2)

I.D17 I.T04

Depended on by (8)

II.D04 II.D07 II.D08 II.D09 II.D10 II.D41 II.D76 II.T01

Lean Formalization

Module: TauLib.BookII.Interior.TauAdmissible

Symbol: Tau.BookII.Interior.TauAdmissiblePoint