`BookProof.ChapterDisplacedThermalOverlap.dtOverlap_lt_of_dist_lt` (nbar : ℝ≥0) {a b c : ℝ} (h : (a - b) ^ 2 < (a - c) ^ 2) : dtOverlap nbar a c < dtOverlap nbar a b

Initializing...

`BookProof.ChapterDisplacedThermalOverlap.dtOverlap_lt_of_dist_lt` (nbar : ℝ≥0) {a b c : ℝ} (h : (a - b) ^ 2 < (a - c) ^ 2) : dtOverlap nbar a c < dtOverlap nbar a b · Prove2Me