This is a formalization of nominal sets and nominal renaming sets.
To add this library as a dependency, add the following lines to your lakefile.toml and run lake update:
[[require]]
name = "nominal-sets"
git = "https://github.com/YellPika/nominal-sets"
rev = "main"