Completed facets

 Completed facets🔗

Compiled2026-09-30T10:46:39ZProject4848fcaMerge pull request #481 from leanprover/chore/reconcile-v434-reference-pinsLeanleanprover/lean4:v4.34.1VersoBlueprint4848fca

See Theorem 1.1 or the completed result.

Contents

  1. 1. Placeholder chapter
  2. 2. Filled statement chapter
  3. 3. Proof source chapter
  4. Dependency Graph