Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-14 13:35 32d8fc4e

View on Github →

feat(topology/homeomorph): add homeomorph.set.univ (#14730)

Estimated changes

Modified src/topology/homeomorph.lean

modified def homeomorph.image

added def homeomorph.set.univ