P
Initializing...
The preimage of a two-power holonomy subgroup is Bieberbach (Proposition 2.5) · Prove2Me