diff options
| author | Cyril Cohen | 2020-04-09 16:39:37 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-04-15 14:20:45 +0200 |
| commit | 6dac040b009e10bc4fa0420f7c40ae9134594c86 (patch) | |
| tree | cea15b6018d326b9fc106a37e837aa49c970af5b /etc/utils | |
| parent | 710a449fad7132a6ac89d19159fda44e48718b1d (diff) | |
reworked new lemmas in perm and action and added missing ones
In particular: rephrased permS0 and permS1 with all_equal_to
Diffstat (limited to 'etc/utils')
0 files changed, 0 insertions, 0 deletions