Algebraic Combinatorics Blueprint

 Algebraic Combinatorics Blueprint🔗

Compiled2026-05-12T16:18:53ZProject96d3474Update pages cache harnessLeanleanprover/lean4:v4.28.0VersoBlueprinted702daUpstreamb602231fix graph descriptionMathlibv4.28.0@8f9d9cff6bd7

This repository is the Verso blueprint integration layer for the Algebraic Combinatorics project. It keeps the blueprint files at the repository root while treating algebraic-combinatorics/ as the upstream formalization checkout.

Contents

  1. 1. Notations and Elementary Facts
  2. 2. Commutative Rings and Modules
  3. 3. Formal Power Series: Definition and Basic Properties
  4. 4. Dividing FPSs
  5. 5. Polynomials
  6. 6. Substitution and Evaluation of Power Series
  7. 7. Derivatives of FPSs
  8. 8. Exponentials and Logarithms
  9. 9. Non-Integer Powers
  10. Dependency Graph
  11. Blueprint Summary