Mathlib v3 is deprecated. Go to Mathlib v4

Def homeomorph.set.univ

Modification history

2022-06-14 13:35
src/topology/homeomorph.lean
feat(topology/homeomorph): add `homeomorph.set.univ` (#14730)
Added homeomorph.set.univView on Github →