Theorem Nat.Partition.countRestricted_two

Modification history

2025-12-11 00:09
Mathlib/Combinatorics/Enumerative/Partition/Basic.lean
refactor: re-prove Euler's partition theorem from Glaisher's theorem (#31873) …
Added Nat.Partition.countRestricted_twoView on Github →