Skip to main content
subgroup_count
logicaffeine_
proof
0.10.1
In logicaffeine_
proof::
permgroup
logicaffeine_proof
::
permgroup
Function
subgroup_
count
Copy item path
Source
pub fn subgroup_count(degree:
usize
, gens: &[
Perm
], cap:
usize
) ->
Option
<
usize
>