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_homeomorphView on Github →