Registry · Definition IV.D586 tau-effective not_formalized

IV.D586 — Scope Labels

Every theorem, proposition, and remark in Book IV carries one of four scope labels: enumerate[(i)] Established:

Book IV Part 0 Ch. 1