mathlib

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

feat(topology/unit_interval): affine homeomorphisms of intervals (#7250) Co-authored-by: Floris van Doorn <fpvdoorn@gmail.com> Co-authored-by: Yury G. Kudryashov <urkud@urkud.name> Co-authored-by: Scott Morrison <scott.morrison@gmail.com>