Mathlib v3 is deprecated. Go to Mathlib v4

Def affine_homeomorph

Modification history

2021-04-26 09:22

src/topology/algebra/field.lean

feat(topology/unit_interval): affine homeomorphisms of intervals (#7250)

Added affine_homeomorph View on Github →