diff options
Diffstat (limited to 'Nominal/Permutations.lean')
| -rw-r--r-- | Nominal/Permutations.lean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Nominal/Permutations.lean b/Nominal/Permutations.lean index 6819c67..dd9b9d2 100644 --- a/Nominal/Permutations.lean +++ b/Nominal/Permutations.lean @@ -1,4 +1,4 @@ -import Mathlib.Tactic +import Mathlib /-! # Finitely supported permutations |