P
Initializing...
Group commutators of an ϵ²-net of S_ϵ form an O(ϵ³)-net of S_{ϵ²} · Prove2Me