> as lemmas
non-isomorphic
non-isomorphic adj. 
/ˌnɑnˌaɪsoʊˈmɔrfɪk/
Brit. /ˌnɒnʌɪsə(ʊ)ˈmɔːfɪk/
, /ˌnɒnʌɪsə(ʊ)ˈmɔːfɪk/U.S. /ˌnɑnˌaɪsəˈmɔrfɪk/
, /ˌnɑnˌaɪsəˈmɔrfɪk//ˌnɑnˌaɪsoʊˈmɔrfɪk/ΚΠ
1900 Ann. Math. 1 147 (title) Two non-isomorphic simple groups of the same order 20, 160.
1990 Proc. London Math. Soc. 61 498 It is possible to construct arbitrarily large (finite) sets of [formula] groups which are pairwise non-isomorphic, yet have identical families of finite quotients.
<
as lemmas