theorem :: GR_FREE0:73

for G, H being Group st G,H are_isomorphic holds
( G is free-abelian iff H is free-abelian ) by GROUP_6:67;