mathlib

229f6f14 - feat(set_theory/zfc/basic): define Set and Class intersection (#18232)

feat(set_theory/zfc/basic): define Set and Class intersection (#18232) Co-authored-by: Yaël Dillies <yael.dillies@gmail.com> Co-authored-by: Scott Morrison <scott.morrison@gmail.com>