Documentation
LeanPool
.
PolyaEnumerationTheorem
.
Imports
Search
return to top
source
Imports
Init
LeanPool.PolyaEnumerationTheorem
LeanPool.PolyaEnumerationTheorem.Basic
LeanPool.PolyaEnumerationTheorem.Concrete
LeanPool.PolyaEnumerationTheorem.PermutationAuxiliary
LeanPool.PolyaEnumerationTheorem.ReductionToFin
LeanPool.PolyaEnumerationTheorem.StirlingFirstKindSum
Imported by