Mathlib Changelog
v4
Changelog
About
Github
Def
Nat.Partition.restricted
Modification history
2025-12-05 16:31
Mathlib/Combinatorics/Enumerative/Partition/Basic.lean
feat(Combinatorics): Glaisher's theorem (#30618) …
Added
Nat.Partition.restricted
View on Github →