Commit 8923e572 authored by Dennis Müller's avatar Dennis Müller

permutations

parent 2889ff29
......@@ -10,6 +10,7 @@ theory Permutations : base:?Logic =
cycle = List ℕ+ ❙
permutation : type ❙
PermList : (List cycle) ⟶ permutation ❙
fromImage : (List ℕ+) ⟶ permutation ❙
theory GroupAction : base:?Logic =
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment