`discreteness_forcing_statement`

definition

show as: view math explainer →

module: IndisputableMonolith.Papers.DIF.ScaleFreeForced
domain: Papers
line: 59 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Papers.DIF.ScaleFreeForced on GitHub at line 59.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

formal source

  56    stabilize" follows from conjunct (4): in a continuous space, x=1 has
  57    no finite cost barrier separating it from nearby configurations.
  58    Discrete configurations (integer-valued cochains) do have such barriers. -/
  59def discreteness_forcing_statement : Prop :=
  60  True
  61
  62end ScaleFreeForced
  63end DIF
  64end Papers
  65end IndisputableMonolith

papers checked against this theorem

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