mathlib
fd7da4ef - refactor(combinatorics/partition): add `nat` namespace (#9672)

Commit

4 years ago

refactor(combinatorics/partition): add `nat` namespace (#9672) `partition` is now `nat.partition`

Author

YaelDillies

Parents