:: Solvable Groups
:: by Katarzyna Zawadzka
::
:: Received October 23, 1994
:: Copyright (c) 1994 Association of Mizar Users
:: deftheorem Def1 defines solvable GRSOLV_1:def 1 :
theorem Th1: :: GRSOLV_1:1
theorem :: GRSOLV_1:2
theorem :: GRSOLV_1:3
theorem Th4: :: GRSOLV_1:4
theorem :: GRSOLV_1:5
theorem :: GRSOLV_1:6
theorem :: GRSOLV_1:7
:: deftheorem defines | GRSOLV_1:def 2 :
:: deftheorem defines .: GRSOLV_1:def 3 :
theorem :: GRSOLV_1:8
canceled;
theorem Th9: :: GRSOLV_1:9
theorem Th10: :: GRSOLV_1:10
theorem :: GRSOLV_1:11
theorem Th12: :: GRSOLV_1:12
theorem Th13: :: GRSOLV_1:13
theorem Th14: :: GRSOLV_1:14
theorem Th15: :: GRSOLV_1:15
theorem Th16: :: GRSOLV_1:16
theorem :: GRSOLV_1:17