Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Top.sigma_iso_sigma_hom_ι

Modification history