Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_closed_map_iff_is_closed_map_of_supr_eq_top

Modification history