mathlib3

20ef9097 - feat(data/part): add instances (#11868)

feat(data/part): add instances (#11868) Add common instances for `part \alpha` to be inherited from `\alpha`. Spun off of #11046 Co-authored-by: YaelDillies <yael.dillies@gmail.com>