mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

TODO: unify `disjoint`

Open johoelzl opened this issue 7 years ago • 7 comments

Introduce disjoint on has_mem and unify the list, multiset, finset instances. The finset instance would be generalized by removing the requirement for decidable_eq

johoelzl avatar Jul 16 '18 13:07 johoelzl