%0 Journal Article
%T Cayley's Theorem
%A Artur Korni owicz
%J Formalized Mathematics
%@ 1898-9934
%D 2011
%I 
%R 10.2478/v10037-011-0030-5
%X The article formalizes the Cayley's theorem saying that every group G is isomorphic to a subgroup of the symmetric group on G.
%U http://versita.metapress.com/content/w2l2mg952011p748/?p=658b2d43fa40440da7468f05f78cc441&pi=0