Registry · Theorem IV.T343 tau-effective not_formalized IV.T343 — Sector Exhaustion The 4+1 sector classification \D, A, B, C, \ is complete. No sixth primitive sector exists, because the five... Book IV Part 5 Ch. 44