Registry · Proposition II.P06 established formalized

II.P06 — Refinement Resolution Bound

Refinement Resolution Bound

Book II Part 5 Ch. 28

Dependency Graph

Depends on (2)

II.D34 II.T25

Lean Formalization

Module: TauLib.BookII.Transcendentals.IotaTauConfirmed

Symbol: iota_universal_check