Problemadvanced
Generating involutions
Also called self-inverse permutations.
Generate all permutations that are their own inverse, i.e. with cycles of length at most two.
Generate all permutations that are their own inverse, i.e. with cycles of length at most two.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag ZGQC1D Edit this page History Report an error