Registry · Remark
VII.R23
tau-effective
not_applicable
VII.R23 — Kant's Sublime in Categorical Terms
Mathematical and dynamical sublime reframed as comprehension-boundary encounters with structural invariance.
Lean Formalization
Symbol: