Registry · Lemma VII.L41 tau-effective formalized

VII.L41 — Legitimacy Dignity Connection

Legitimacy dignity condition factors through L_dig, via VII.T30 Dignity Universality reflector.

Book VII Part 8 Ch. 104

Dependency Graph

Depends on (2)

VII.P25 VII.T30

Lean Formalization

Module: TauLib.BookVII.Social.Ontology

Symbol: Tau.BookVII.Social.Ontology.legitimacy_dignity_connection