Theorem Set.Iio_one_eq_empty

Modification history

2026-05-23 11:09
Mathlib/Order/Interval/Set/Basic.lean
chore: `IsBotZeroClass (Fin n)` (#39058) …
Added Set.Iio_one_eq_emptyView on Github →