Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Top.glue_data.preimage_image_eq_image

Modification history