Theorem Set.Iio_true

Modification history

2026-10-27 14:54
Mathlib/Order/Interval/Set/Basic.lean
chore: decapitalize `True`/`False` in theorem names (#45349) …
Added Set.Iio_trueView on Github →