Registry · Theorem VII.T34 tau-effective formalized

VII.T34 — Flourishing as Global Section

Eudaimonia is global section over the ethical domain; flourishing is when all ethical duties glue coherently.

Book VII Part 7 Ch. 86

Dependency Graph

Depends on (1)

VII.D70

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.flourishing_global_section