َArjomandfar, A

Proving the efficiency of pro-2-groups of fixed co-classes