P
Initializing...
A split group homomorphism gives the explicit semidirect-product isomorphism · Prove2Me