Mathlib v3 is deprecated. Go to Mathlib v4

Theorem disjointed_eq_inter_compl

Modification history