:: On the Decomposition of the States of SCM
:: by Yasushi Tanaka
::
:: Received November 23, 1993
:: Copyright (c) 1993 Association of Mizar Users
theorem :: AMI_5:1
canceled;
theorem :: AMI_5:2
canceled;
theorem :: AMI_5:3
canceled;
theorem :: AMI_5:4
canceled;
theorem :: AMI_5:5
canceled;
theorem :: AMI_5:6
canceled;
theorem :: AMI_5:7
canceled;
theorem :: AMI_5:8
canceled;
theorem :: AMI_5:9
canceled;
theorem :: AMI_5:10
canceled;
theorem :: AMI_5:11
canceled;
theorem :: AMI_5:12
canceled;
theorem :: AMI_5:13
canceled;
theorem :: AMI_5:14
canceled;
theorem :: AMI_5:15
canceled;
theorem :: AMI_5:16
canceled;
theorem :: AMI_5:17
canceled;
theorem Th18: :: AMI_5:18
theorem :: AMI_5:19
canceled;
theorem Th20: :: AMI_5:20
theorem :: AMI_5:21
canceled;
theorem Th22: :: AMI_5:22
theorem :: AMI_5:23
theorem :: AMI_5:24
theorem :: AMI_5:25
canceled;
theorem :: AMI_5:26
theorem :: AMI_5:27
theorem Th28: :: AMI_5:28
theorem :: AMI_5:29
canceled;
theorem :: AMI_5:30
theorem :: AMI_5:31
theorem :: AMI_5:32
:: deftheorem AMI_5:def 1 :
canceled;
:: deftheorem defines @ AMI_5:def 2 :
:: deftheorem defines @ AMI_5:def 3 :
:: deftheorem defines @ AMI_5:def 4 :
theorem :: AMI_5:33
canceled;
theorem :: AMI_5:34
canceled;
theorem :: AMI_5:35
canceled;
theorem Th36: :: AMI_5:36
theorem Th37: :: AMI_5:37
theorem :: AMI_5:38
canceled;
theorem :: AMI_5:39
canceled;
theorem :: AMI_5:40
canceled;
theorem :: AMI_5:41
canceled;
theorem :: AMI_5:42
canceled;
theorem :: AMI_5:43
canceled;
theorem :: AMI_5:44
canceled;
theorem :: AMI_5:45
canceled;
theorem Th46: :: AMI_5:46
theorem Th47: :: AMI_5:47
theorem Th48: :: AMI_5:48
theorem Th49: :: AMI_5:49
theorem Th50: :: AMI_5:50
theorem Th51: :: AMI_5:51
theorem Th52: :: AMI_5:52
theorem Th53: :: AMI_5:53
theorem Th54: :: AMI_5:54
theorem :: AMI_5:55
theorem :: AMI_5:56
theorem :: AMI_5:57
theorem Th58: :: AMI_5:58
theorem Th59: :: AMI_5:59
theorem :: AMI_5:60
canceled;
theorem :: AMI_5:61
canceled;
theorem :: AMI_5:62
canceled;
theorem :: AMI_5:63
canceled;
theorem :: AMI_5:64
canceled;
theorem :: AMI_5:65
canceled;
theorem :: AMI_5:66
canceled;
theorem :: AMI_5:67
canceled;
theorem :: AMI_5:68
canceled;
theorem :: AMI_5:69
canceled;
theorem :: AMI_5:70
canceled;
theorem :: AMI_5:71
canceled;
theorem :: AMI_5:72
canceled;
theorem :: AMI_5:73
canceled;
theorem :: AMI_5:74
canceled;
theorem :: AMI_5:75
canceled;
theorem :: AMI_5:76
canceled;
theorem :: AMI_5:77
theorem :: AMI_5:78
canceled;
theorem :: AMI_5:79
canceled;
theorem :: AMI_5:80
theorem :: AMI_5:81
canceled;
theorem :: AMI_5:82
canceled;
theorem Th83: :: AMI_5:83
theorem Th84: :: AMI_5:84
theorem :: AMI_5:85
theorem Th86: :: AMI_5:86
theorem Th87: :: AMI_5:87
theorem :: AMI_5:88
theorem :: AMI_5:89
theorem :: AMI_5:90
theorem :: AMI_5:91
theorem :: AMI_5:92
theorem :: AMI_5:93
theorem :: AMI_5:94
theorem :: AMI_5:95