The top documents tagged [equal disjoint x]
An ACL2 Library for Bags (Multisets)
44 views