mathlib3

refactor(data/multiset): rename diagonal to antidiagonal

#1236

Merged