Polya_counting#30525

Open

515801431 wants to merge 10 commits intoleanprover-community:masterfrom

515801431:master

Commits on Oct 14, 2025

Polya_counting
Your Name
committed
[pre-commit.ci lite] apply automatic fixes
pre-commit-ci-lite[bot]
authored
run lake exe mk_all to regenerate the import files
Your Name
committed
Merge branch 'master' of http://github.com/515801431/mathlib4
Your Name
committed
modify polya.lean
Your Name
committed
modify docs in polya.lean
Your Name
committed
Merge branch 'master' into master
515801431
authored
update imports
Your Name
committed
Merge branch 'master' of http://github.com/515801431/mathlib4
Your Name
committed
Merge branch 'master' into master
515801431
authored