:: The Correspondence Between Lattices of Subalgebras of UniversalAlgebras and Many Sorted Algebras
:: by Adam Naumowicz and Agnieszka Julia Marasik
::
:: Received September 22, 1998
:: Copyright (c) 1998 Association of Mizar Users
theorem Th1: :: MSSUBLAT:1
theorem :: MSSUBLAT:2
theorem :: MSSUBLAT:3
theorem :: MSSUBLAT:4
theorem Th5: :: MSSUBLAT:5
theorem Th6: :: MSSUBLAT:6
reconsider z = 0 as Element of {0 } by TARSKI:def 1;
theorem Th7: :: MSSUBLAT:7
theorem Th8: :: MSSUBLAT:8
theorem Th9: :: MSSUBLAT:9
theorem Th10: :: MSSUBLAT:10
theorem Th11: :: MSSUBLAT:11
theorem Th12: :: MSSUBLAT:12
theorem Th13: :: MSSUBLAT:13
theorem Th14: :: MSSUBLAT:14
theorem Th15: :: MSSUBLAT:15
theorem Th16: :: MSSUBLAT:16
theorem Th17: :: MSSUBLAT:17
theorem Th18: :: MSSUBLAT:18
theorem Th19: :: MSSUBLAT:19
theorem Th20: :: MSSUBLAT:20
theorem Th21: :: MSSUBLAT:21
theorem :: MSSUBLAT:22
theorem Th23: :: MSSUBLAT:23
theorem Th24: :: MSSUBLAT:24
theorem :: MSSUBLAT:25
theorem Th26: :: MSSUBLAT:26
theorem :: MSSUBLAT:27
theorem Th28: :: MSSUBLAT:28
theorem Th29: :: MSSUBLAT:29
theorem Th30: :: MSSUBLAT:30
theorem Th31: :: MSSUBLAT:31
theorem :: MSSUBLAT:32