Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.Ioo.mem_iff_one_sub_mem

Modification history

2022-08-18 13:46

src/data/set/intervals/instances.lean

feat(data/set/intervals/instances): algebraic instances for unit intervals (#15712) …

Added set.Ioo.mem_iff_one_sub_mem View on Github →