Registry · Remark VII.R29 tau-effective not_applicable

VII.R29 — Diagrammatic Sector Summary

Capstone for S_D: pattern (aesthetics), symbol (language), proof (logic) complete the diagrammatic register.

Book VII Part 6 Ch. 75

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: