polya-enumeration-theorem | Reservoir

TransitiveInclude transitive dependencies

Sort by

Registry dependency.
Found on Reservoir.
mathlib4887c6c
The math library of Lean 4
Git dependency.
Found on Reservoir.
checkdecls11fa569
Tiny Lean library to check existence of declarations
Git dependency.
Found on Reservoir.
doc-gen47b6a56e
Document Generator for Lean 4