mathlib

5a4ea845 - chore(data/set/Union_lift) generalize Union_lift to Sort (#19033)