Theorem set.eq_empty_of_forall_not_mem
Modification history
2022-04-11 18:49
src/data/set/basic.lean
feat(computability/*): Automata lemmas (#13194) …
Added set.eq_empty_of_forall_not_memView on Github →2017-12-08 08:32
data/set/basic.lean
feat(data/dardinal): wellordering of cardinals
Deleted set.eq_empty_of_forall_not_memView on Github →