Theorem unitInterval.symm_projIcc

Modification history

2025-04-13 22:36
Mathlib/Topology/UnitInterval.lean
feat(Topology/Path): prove `Path.extend_symm` (#23980)
Added unitInterval.symm_projIccView on Github →