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