Registry · Lemma VII.L11 tau-effective formalized

VII.L11 — Duty Typing Lemma

Duties are typed by register and domain; cross-type comparison is ill-formed; proper typing prevents apparent conflicts.

Book VII Part 7 Ch. 78

Dependency Graph

Depends on (2)

VII.D65 VII.D66

Depended on by (1)

VII.T32

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.duty_typing