module module

`IndisputableMonolith.Ethics.VirtueSignatures`

show as: view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

declarations in this module (11)

structure VirtueSignature L26
def love L32
def justice L38
def courage L44
def wisdom L50
theorem love_has_unique_sigma_effect L57
theorem justice_preserves_sigma L66
theorem each_virtue_distinct_signature L70
theorem sigma_effect_well_defined L84
theorem love_reduces_sigma L88
theorem non_love_preserves_sigma L92