Registry · Proposition VII.P20 tau-effective not_applicable

VII.P20 — Animal Dignity from Distinction

Dignity extends to all carriers with τ-Distinction; threshold is structural, not species-based; many animals qualify.

Book VII Part 7 Ch. 84

Dependency Graph

Depends on (2)

VII.D69 VII.T30

Lean Formalization

Module:

Symbol: