Theorem unitInterval.subtype_Iio_eq_Ico

Modification history

2025-12-17 21:56
Mathlib/Topology/UnitInterval.lean
chore(Topology): fix whitespace (#32963) …
Modified unitInterval.subtype_Iio_eq_IcoView on Github →
2025-08-05 13:52
Mathlib/Topology/UnitInterval.lean
feat: `ProbabilityTheory.cdf_eq_real` for measure on `unitInterval` (#27515) …
Added unitInterval.subtype_Iio_eq_IcoView on Github →