Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fiber_prebundle.is_open_target_of_mem_pretrivialization_atlas_inter

Modification history