Every claim, end to end

What the claim says, where it came from, what the data said, what a proof assistant actually checked, and the prover's own English beside each step. Nothing here is paraphrased by this page: the explanations are the doc comments written above the Lean declarations.