Documentation
NominalSets
Search
return to top
source
Imports
Init
NominalSets.Finset
NominalSets.Function
NominalSets.List
NominalSets.Nat
NominalSets.Option
NominalSets.Prod
NominalSets.Prop
NominalSets.Restrict
NominalSets.Rose
NominalSets.Set
NominalSets.Sum
NominalSets.Perm.Basic
NominalSets.Perm.Defs
NominalSets.Perm.PermAction
NominalSets.Perm.Support
NominalSets.PermAction.Basic
NominalSets.PermAction.Defs
NominalSets.Support.Basic
NominalSets.Support.Defs
Imported by