:: Properties of Groups
:: by Gijs Geleijnse and Grzegorz Bancerek
::
:: Received May 31, 2004
:: Copyright (c) 2004 Association of Mizar Users
theorem :: GROUP_8:1
theorem :: GROUP_8:2
theorem :: GROUP_8:3
theorem :: GROUP_8:4
theorem :: GROUP_8:5
theorem :: GROUP_8:6
theorem Th7: :: GROUP_8:7
theorem :: GROUP_8:8
theorem Th9: :: GROUP_8:9
theorem Th10: :: GROUP_8:10
theorem Th11: :: GROUP_8:11
theorem Th12: :: GROUP_8:12
theorem Th13: :: GROUP_8:13
theorem :: GROUP_8:14
theorem Th15: :: GROUP_8:15
theorem :: GROUP_8:16
:: deftheorem defines Double_Cosets GROUP_8:def 1 :
theorem Th17: :: GROUP_8:17
theorem :: GROUP_8:18
theorem Th19: :: GROUP_8:19
theorem Th20: :: GROUP_8:20
theorem :: GROUP_8:21
theorem Th22: :: GROUP_8:22
theorem Th23: :: GROUP_8:23
theorem Th24: :: GROUP_8:24
theorem :: GROUP_8:25