Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_closed_Union_of_locally_finite

Modification history