:: Partial Functions from a Domain to a Domain
:: by Jaros{\l}aw Kotowicz
::
:: Received May 31, 1990
:: Copyright (c) 1990 Association of Mizar Users
theorem :: PARTFUN2:1
canceled;
theorem :: PARTFUN2:2
canceled;
theorem Th3: :: PARTFUN2:3
theorem Th4: :: PARTFUN2:4
theorem :: PARTFUN2:5
canceled;
theorem Th6: :: PARTFUN2:6
theorem :: PARTFUN2:7
canceled;
theorem :: PARTFUN2:8
canceled;
theorem Th9: :: PARTFUN2:9
theorem :: PARTFUN2:10
theorem :: PARTFUN2:11
canceled;
theorem Th12: :: PARTFUN2:12
theorem :: PARTFUN2:13
canceled;
theorem :: PARTFUN2:14
theorem :: PARTFUN2:15
theorem :: PARTFUN2:16
theorem :: PARTFUN2:17
theorem Th18: :: PARTFUN2:18
theorem :: PARTFUN2:19
canceled;
theorem :: PARTFUN2:20
canceled;
theorem :: PARTFUN2:21
canceled;
theorem :: PARTFUN2:22
theorem :: PARTFUN2:23
theorem :: PARTFUN2:24
theorem :: PARTFUN2:25
canceled;
theorem :: PARTFUN2:26
canceled;
theorem :: PARTFUN2:27
canceled;
theorem :: PARTFUN2:28
canceled;
theorem :: PARTFUN2:29
canceled;
theorem :: PARTFUN2:30
canceled;
theorem :: PARTFUN2:31
canceled;
theorem Th32: :: PARTFUN2:32
theorem :: PARTFUN2:33
canceled;
theorem Th34: :: PARTFUN2:34
theorem :: PARTFUN2:35
theorem :: PARTFUN2:36
theorem Th37: :: PARTFUN2:37
theorem :: PARTFUN2:38
theorem :: PARTFUN2:39
theorem Th40: :: PARTFUN2:40
theorem :: PARTFUN2:41
theorem :: PARTFUN2:42
theorem :: PARTFUN2:43
theorem Th44: :: PARTFUN2:44
theorem :: PARTFUN2:45
canceled;
theorem :: PARTFUN2:46
theorem :: PARTFUN2:47
theorem Th48: :: PARTFUN2:48
theorem :: PARTFUN2:49
theorem :: PARTFUN2:50
theorem :: PARTFUN2:51
theorem :: PARTFUN2:52
theorem :: PARTFUN2:53
:: deftheorem defines constant PARTFUN2:def 1 :
theorem Thx: :: PARTFUN2:54
theorem :: PARTFUN2:55
theorem :: PARTFUN2:56
theorem :: PARTFUN2:57
theorem Th58: :: PARTFUN2:58
theorem :: PARTFUN2:59
theorem :: PARTFUN2:60
theorem :: PARTFUN2:61
theorem :: PARTFUN2:62
theorem :: PARTFUN2:63
theorem :: PARTFUN2:64
theorem Th65: :: PARTFUN2:65
theorem :: PARTFUN2:66
theorem :: PARTFUN2:67
theorem :: PARTFUN2:68
theorem :: PARTFUN2:69
theorem :: PARTFUN2:70
theorem :: PARTFUN2:71
theorem :: PARTFUN2:72
theorem :: PARTFUN2:73
theorem :: PARTFUN2:74
theorem :: PARTFUN2:75
theorem Th76: :: PARTFUN2:76
theorem :: PARTFUN2:77
theorem :: PARTFUN2:78
theorem :: PARTFUN2:79