:: Fix Point Theorem for Compact Spaces
:: by Alicia de la Cruz
::
:: Received July 17, 1991
:: Copyright (c) 1991 Association of Mizar Users
:: ALI2 semantic presentation
:: deftheorem Def1 defines contraction ALI2:def 1 :
theorem :: ALI2:1
canceled;
theorem :: ALI2:2