:: On the Representation of Natural Numbers in Positional Numeral Systems
:: by Adam Naumowicz
::
:: Received December 31, 2006
:: Copyright (c) 2006 Association of Mizar Users
theorem Th1: :: NUMERAL1:1
theorem Th2: :: NUMERAL1:2
theorem Th3: :: NUMERAL1:3
theorem Th4: :: NUMERAL1:4
theorem Th5: :: NUMERAL1:5
theorem Th6: :: NUMERAL1:6
:: deftheorem Def1 defines value NUMERAL1:def 1 :
:: deftheorem Def2 defines digits NUMERAL1:def 2 :
theorem Th7: :: NUMERAL1:7
theorem Th8: :: NUMERAL1:8
theorem Th9: :: NUMERAL1:9
theorem :: NUMERAL1:10
theorem :: NUMERAL1:11
theorem :: NUMERAL1:12
theorem :: NUMERAL1:13