module module

`IndisputableMonolith.Ethics.LoveUniquenessDerivation`

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 (8)

structure AgentState L32
structure SingleLatticeTransform L39
structure CrossLatticeTransform L45
theorem automorphism_preserves_sigma L52
theorem coupling_conserves_total L56
def loveOperator L62
theorem love_changes_individual_sigma L74
theorem love_equilibrates L88