Catalog Sync

Sync the 3 sources (Lean, books, catalogs) of the 213 library. Lean = ground truth → reflect in catalogs.

Procedure

Step 1: Identify changed Lean files

git diff --name-only HEAD~1..HEAD lean/E213/ | head

Step 2: Extract new theorems

Identify new theorems in each changed file:

• theorem, def, class declarations
• result integers (in = N form)
• atomic expressions (using NS, NT, d)