:: Some Properties of Isomorphism between Relational Structures. Onthe Product of Topological Spaces
:: by Jaros{\l}aw Gryko and Artur Korni{\l}owicz
::
:: Received June 22, 1999
:: Copyright (c) 1999 Association of Mizar Users
theorem :: YELLOW14:1
theorem Th2: :: YELLOW14:2
theorem :: YELLOW14:3
canceled;
theorem :: YELLOW14:4
theorem :: YELLOW14:5
theorem :: YELLOW14:6
theorem :: YELLOW14:7
:: deftheorem defines directed-sups-preserving YELLOW14:def 1 :
:: deftheorem Def2 defines Function-yielding YELLOW14:def 2 :
theorem :: YELLOW14:8
theorem :: YELLOW14:9
theorem Th10: :: YELLOW14:10
theorem Th11: :: YELLOW14:11
theorem :: YELLOW14:12
theorem :: YELLOW14:13
theorem Th14: :: YELLOW14:14
theorem :: YELLOW14:15
theorem :: YELLOW14:16
theorem :: YELLOW14:17
theorem :: YELLOW14:18
theorem :: YELLOW14:19
theorem :: YELLOW14:20
theorem :: YELLOW14:21
theorem :: YELLOW14:22
theorem :: YELLOW14:23
theorem Th24: :: YELLOW14:24
theorem Th25: :: YELLOW14:25
theorem Th26: :: YELLOW14:26
theorem :: YELLOW14:27
theorem :: YELLOW14:28
theorem :: YELLOW14:29
theorem Th30: :: YELLOW14:30
theorem :: YELLOW14:31
theorem Th32: :: YELLOW14:32
theorem :: YELLOW14:33
theorem :: YELLOW14:34
theorem :: YELLOW14:35
theorem :: YELLOW14:36
theorem :: YELLOW14:37
theorem Th38: :: YELLOW14:38
theorem Th39: :: YELLOW14:39