theorem Th131: :: MATGRP_0:113

for R being Ring
for n being Nat
for x being Element of (GL (n,R))
for X being invertible Matrix of n,R st x = X holds
x " = X ~