diff options
| -rw-r--r-- | Nominal/Instances/Basic.lean (renamed from Nominal/Instances.lean) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Nominal/Instances.lean b/Nominal/Instances/Basic.lean index b637b32..19b8566 100644 --- a/Nominal/Instances.lean +++ b/Nominal/Instances/Basic.lean @@ -3,9 +3,9 @@ import Nominal.Support import Nominal.Equivariance /-! -# Instances +# Basic Nominal Sets -This file contains common instances of (FPerm 𝔸)-sets and nominal sets. +This file contains common instances of nominal sets and their smallest supports. -/ variable (𝔸 : Type) [Infinite 𝔸] [Countable 𝔸] [DecidableEq 𝔸] |