mathlib3

2131382b - feat(data/setoid/partition): some lemmas about partitions (#2937)