Mathlib v3 is deprecated. Go to Mathlib v4

Theorem has_finite_inter.finite_inter_mem

Modification history