theorem Th44: :: TOPGRP_1:45

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