Theorem Set.Ioi_true

Modification history

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