:: Numerals - Requirements
:: by Library Committee
::
:: Received February 27, 2003
:: Copyright (c) 2003 Association of Mizar Users

theorem :: NUMERALS:1

{} is Element of omega

proof end;