Theorem unitInterval.image_coe_preimage_symm

Modification history

2025-08-13 10:56
Mathlib/Topology/UnitInterval.lean
feat: some measure-theoretic properties of the `unitInterval` (#27748) …
Added unitInterval.image_coe_preimage_symmView on Github →