diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-10-23 13:26:16 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-10-23 13:26:16 +0200 |
| commit | dc1b4ffb712bb0c411b907cf1395fa790207a8ce (patch) | |
| tree | 66df130c000aef8c1847b94eb1d77de20f4f75c3 | |
| parent | d75abcb4dc8bdc9feb93941f05d2e162abaf0af3 (diff) | |
refactor: move instances
| -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 𝔸] |