for G being UnContinuous TopGroup holds inverse_op G is Homeomorphism of G