Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_open_inter_union_inter_compl'

Modification history