mathlib

8cd4f196 - refactor(data/set/basic): Adds `inter_nonempty` to match `union_nonempty`. (#14854)

refactor(data/set/basic): Adds `inter_nonempty` to match `union_nonempty`. (#14854) Also changes existing `inter_nonempty` lemmas to match. Co-authored-by: Wrenna Robson <34025592+linesthatinterlace@users.noreply.github.com>