`E3_scope`

definition

show as: view math explainer →

module: IndisputableMonolith.Papers.ClaimBoundaries
domain: Papers
line: 203 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Papers.ClaimBoundaries on GitHub at line 203.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

as IndisputableMonolith.Foundation.SimplicialLedger.ContinuumBridge

formal source

 200- Virtue scattering matrix / Feynman amplitudes
 201- Biological / EEG predictions
 202-/
 203def E3_scope : String := "DREAM Virtues as Ethical Generators"
 204
 205end IndisputableMonolith.Papers.ClaimBoundaries

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.