Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.of_fiber_equiv

Modification history

2022-05-04 20:04
src/logic/equiv/basic.lean
feat(logic/equiv/set): equivalences between all preimages gives an equivalence of domains (#13853)
Added equiv.of_fiber_equivView on Github →