← Mathematical handbook

theorem Verification.LTDExample.thirdMatrix_footrule (p : ℝ) (hp : p ∈ Set.Icc 0 1) : (thirdMatrix p hp).checkerboard.spearmanFootrule = (2 + 4 * p) / 9