:: Some properties of special polygonal curves
:: by Andrzej Trybulec and Yatsuka Nakamura
::
:: Received October 22, 1998
:: Copyright (c) 1998 Association of Mizar Users
theorem :: SPRECT_3:1
canceled;
theorem :: SPRECT_3:2
canceled;
theorem :: SPRECT_3:3
canceled;
theorem :: SPRECT_3:4
canceled;
theorem :: SPRECT_3:5
canceled;
theorem :: SPRECT_3:6
canceled;
theorem :: SPRECT_3:7
canceled;
theorem :: SPRECT_3:8
canceled;
theorem :: SPRECT_3:9
canceled;
theorem :: SPRECT_3:10
canceled;
theorem :: SPRECT_3:11
theorem Th12: :: SPRECT_3:12
for
a,
b,
c,
d being
set holds
Indices (a,b ][ c,d) = {[1,1],[1,2],[2,1],[2,2]}
theorem Th13: :: SPRECT_3:13
theorem Th14: :: SPRECT_3:14
theorem :: SPRECT_3:15
theorem Th16: :: SPRECT_3:16
theorem Th17: :: SPRECT_3:17
theorem Th18: :: SPRECT_3:18
theorem :: SPRECT_3:19
canceled;
theorem :: SPRECT_3:20
canceled;
theorem :: SPRECT_3:21
theorem :: SPRECT_3:22
theorem :: SPRECT_3:23
theorem :: SPRECT_3:24
theorem :: SPRECT_3:25
theorem Th26: :: SPRECT_3:26
theorem :: SPRECT_3:27
canceled;
theorem Th28: :: SPRECT_3:28
theorem :: SPRECT_3:29
theorem :: SPRECT_3:30
canceled;
theorem :: SPRECT_3:31
theorem :: SPRECT_3:32
canceled;
theorem :: SPRECT_3:33
theorem :: SPRECT_3:34
theorem :: SPRECT_3:35
theorem :: SPRECT_3:36
theorem :: SPRECT_3:37
canceled;
theorem :: SPRECT_3:38
theorem :: SPRECT_3:39
theorem :: SPRECT_3:40
theorem Th41: :: SPRECT_3:41
theorem Th42: :: SPRECT_3:42
theorem Th43: :: SPRECT_3:43
theorem Th44: :: SPRECT_3:44
theorem Th45: :: SPRECT_3:45
theorem Th46: :: SPRECT_3:46
theorem :: SPRECT_3:47
theorem :: SPRECT_3:48
theorem Th49: :: SPRECT_3:49
theorem Th50: :: SPRECT_3:50
theorem Th51: :: SPRECT_3:51
theorem Th52: :: SPRECT_3:52
theorem Th53: :: SPRECT_3:53
theorem Th54: :: SPRECT_3:54
theorem :: SPRECT_3:55
theorem :: SPRECT_3:56
theorem Th57: :: SPRECT_3:57
theorem :: SPRECT_3:58
theorem Th59: :: SPRECT_3:59
theorem Th60: :: SPRECT_3:60
theorem Th61: :: SPRECT_3:61
theorem Th62: :: SPRECT_3:62
theorem Th63: :: SPRECT_3:63
theorem Th64: :: SPRECT_3:64
theorem :: SPRECT_3:65
theorem Th66: :: SPRECT_3:66
theorem :: SPRECT_3:67
theorem :: SPRECT_3:68
theorem :: SPRECT_3:69
theorem :: SPRECT_3:70
theorem :: SPRECT_3:71
theorem :: SPRECT_3:72
theorem :: SPRECT_3:73