def
definition
def or abbrev
number_of_patches
show as:
view Lean formalization →
formal statement (Lean)
70noncomputable def number_of_patches : ℕ :=
proof body
Definition body.
71 (360 / 1)^2 -- roughly 130,000 patches
72
73/-! ## Why Is This A Problem? -/
74
75/-- If regions A and B never communicated:
76 1. How do they have the same temperature?
77 2. How do they have the same density?
78 3. How are they statistically correlated?
79
80 Random initial conditions would give:
81 ΔT/T ~ O(1), not O(10⁻⁵)! -/