Theorem set.sep_set_of
Modification history
2022-09-28 18:56
src/data/set/basic.lean
feat(data/set/basic): Refactor and additions of sep lemmas (#16566) …
Modified set.sep_set_ofView on Github →2020-09-24 10:39
src/data/set/basic.lean
refactor(measure_theory/simple_func_dense): split monolithic proof (#4199) …
Modified set.sep_set_ofView on Github →