Theorem Fin.continuous_append

Modification history

2024-10-29 16:22
Mathlib/Topology/Homeomorph.lean
feat: Homeomorphisms and IsometryEquivs based on `Equiv.piCongrLeft` and `Equiv.sumArrowEquivProdArrow` (#17981)
Added Fin.continuous_appendView on Github →