mathlib3

ef5f2ce9 - feat(set_theory/zfc/basic): simpler/more general `Class.ext` (#18306)

feat(set_theory/zfc/basic): simpler/more general `Class.ext` (#18306) I failed to notice `set.ext` was simpler and more general than my custom `Class.ext` lemma. As such, I've replaced it.