Add one claim-to-theorem mapping

[fraware]

Choose one existing corpus claim with a clear formal boundary and add its mapping and theorem card.

Keep the source span, assumptions, Lean declaration, and checked scope explicit. Do not promote the surrounding paper beyond the mapped claim.

[fraware]

To take this, name the corpus claim and the Lean declaration you expect to connect. We can settle the checked scope before implementation.