:: On Rough Subgroup of a Group
:: by Xiquan Liang and Dailu Li
::
:: Received August 7, 2009
:: Copyright (c) 2009 Association of Mizar Users
theorem Th1: :: GROUP_11:1
theorem Th2: :: GROUP_11:2
theorem Th3: :: GROUP_11:3
theorem Th4: :: GROUP_11:4
theorem Th5: :: GROUP_11:5
theorem Th6: :: GROUP_11:6
theorem Th7: :: GROUP_11:7
theorem Th8: :: GROUP_11:8
theorem Th9: :: GROUP_11:9
theorem Th10: :: GROUP_11:10
theorem :: GROUP_11:11
:: deftheorem defines ` GROUP_11:def 1 :
:: deftheorem defines ~ GROUP_11:def 2 :
theorem Th12: :: GROUP_11:12
theorem :: GROUP_11:13
theorem Th14: :: GROUP_11:14
theorem :: GROUP_11:15
theorem Th16: :: GROUP_11:16
theorem Th17: :: GROUP_11:17
theorem Th18: :: GROUP_11:18
theorem :: GROUP_11:19
theorem :: GROUP_11:20
theorem :: GROUP_11:21
theorem :: GROUP_11:22
theorem :: GROUP_11:23
theorem :: GROUP_11:24
theorem Th25: :: GROUP_11:25
theorem Th26: :: GROUP_11:26
theorem :: GROUP_11:27
theorem Th28: :: GROUP_11:28
theorem :: GROUP_11:29
theorem Th30: :: GROUP_11:30
theorem Th31: :: GROUP_11:31
theorem Th32: :: GROUP_11:32
theorem Th33: :: GROUP_11:33
theorem Th34: :: GROUP_11:34
theorem Th35: :: GROUP_11:35
theorem :: GROUP_11:36
theorem :: GROUP_11:37
theorem :: GROUP_11:38
theorem Th39: :: GROUP_11:39
theorem :: GROUP_11:40
theorem Th41: :: GROUP_11:41
theorem :: GROUP_11:42
theorem :: GROUP_11:43
theorem :: GROUP_11:44
theorem :: GROUP_11:45
theorem :: GROUP_11:46
theorem :: GROUP_11:47
theorem :: GROUP_11:48
:: deftheorem defines ` GROUP_11:def 3 :
:: deftheorem defines ~ GROUP_11:def 4 :
theorem Th49: :: GROUP_11:49
theorem :: GROUP_11:50
theorem Th51: :: GROUP_11:51
theorem :: GROUP_11:52
theorem Th53: :: GROUP_11:53
theorem Th54: :: GROUP_11:54
theorem Th55: :: GROUP_11:55
theorem Th56: :: GROUP_11:56
theorem Th57: :: GROUP_11:57
theorem :: GROUP_11:58
theorem Th59: :: GROUP_11:59
theorem Th60: :: GROUP_11:60
theorem :: GROUP_11:61
theorem :: GROUP_11:62
theorem :: GROUP_11:63
theorem :: GROUP_11:64
theorem :: GROUP_11:65
theorem :: GROUP_11:66
theorem :: GROUP_11:67
theorem :: GROUP_11:68
theorem :: GROUP_11:69
theorem :: GROUP_11:70
theorem Th71: :: GROUP_11:71
theorem Th72: :: GROUP_11:72
theorem Th73: :: GROUP_11:73
theorem Th74: :: GROUP_11:74
theorem Th75: :: GROUP_11:75
theorem Th76: :: GROUP_11:76
theorem :: GROUP_11:77
theorem :: GROUP_11:78
theorem :: GROUP_11:79
theorem :: GROUP_11:80
theorem :: GROUP_11:81