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

begin

theorem :: NUMERALS:1

{} is Element of omega

proof end;