Theorem Set.Ioi_false

Modification history

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