Registry · Remark VII.R11 tau-effective not_applicable

VII.R11 — Problem Map Table

Classification of seventeen classical metaphysical problems by resolution status within the τ framework.

Book VII Part 2 Ch. 30

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: