Registry · Remark VII.R13 tau-effective not_applicable

VII.R13 — Husserl-τ Correspondence

Categorical formalization matches Husserl's phenomenology at four structural points; independent convergence.

Book VII Part 3 Ch. 36

Lean Formalization

Module:

Symbol: