:: Isomorphisms of Cyclic Groups. Some Properties of Cyclic Groups
:: by Dariusz Surowik
::
:: Received June 5, 1992
:: Copyright (c) 1992 Association of Mizar Users
theorem :: GR_CY_2:1
canceled;
theorem :: GR_CY_2:2
canceled;
theorem :: GR_CY_2:3
canceled;
theorem :: GR_CY_2:4
canceled;
theorem :: GR_CY_2:5
canceled;
theorem :: GR_CY_2:6
theorem :: GR_CY_2:7
canceled;
theorem Th8: :: GR_CY_2:8
theorem Th9: :: GR_CY_2:9
theorem Th10: :: GR_CY_2:10
theorem Th11: :: GR_CY_2:11
theorem Th12: :: GR_CY_2:12
theorem Th13: :: GR_CY_2:13
theorem Th14: :: GR_CY_2:14
theorem Th15: :: GR_CY_2:15
theorem Th16: :: GR_CY_2:16
theorem Th17: :: GR_CY_2:17
theorem :: GR_CY_2:18
theorem Th19: :: GR_CY_2:19
theorem Th20: :: GR_CY_2:20
:: deftheorem Def1 defines @ GR_CY_2:def 1 :
theorem Th21: :: GR_CY_2:21
theorem :: GR_CY_2:22
theorem Th23: :: GR_CY_2:23
theorem Th24: :: GR_CY_2:24
theorem :: GR_CY_2:25
theorem :: GR_CY_2:26
theorem :: GR_CY_2:27
theorem :: GR_CY_2:28
theorem :: GR_CY_2:29
theorem Th30: :: GR_CY_2:30
theorem :: GR_CY_2:31
theorem Th32: :: GR_CY_2:32
theorem :: GR_CY_2:33