Cyclic

Statistics

Metric	Count
Definitions `gen`	1
Theorems `gen_generate`, `unique_gen_pow`, `unique_gen_zpow_zmod`	3
Total	4

Name	Category	Theorems
`gen` 📖	CompOp	8 math math: `unique_gen_zpow_zmod`, `Representation.map₂_apply_apply`, `Representation.map₂_apply_support`, `gen_generate`, `unique_gen_pow`, `Representation.map₁_apply`, `Representation.map₂_apply`, `Representation.map₂_comp_lsingle`

Name	Kind	Assumes	Proves	Validates	Depends On
`gen_generate` 📖	mathematical	—	`gen`	—	—
`unique_gen_pow` 📖	mathematical	—	`gen`	—	`unique_gen_zpow_zmod`
`unique_gen_zpow_zmod` 📖	mathematical	—	`gen`	—	`gen_generate`

---