Registry · Definition VII.D71 tau-effective formalized

VII.D71 — CI Operator Graph

Maxim, universalization functor, coherence test, respect operator formalized as typed operator graph; CI as j-closed fixed point.

Book VII Part 7 Ch. 88

Dependency Graph

Depended on by (2)

VII.L28 VII.L29

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.CIOperatorGraph