:: Catalan Numbers
:: by Dorota Cz\c{e}stochowska and Adam Grabowski
::
:: Received May 31, 2004
:: Copyright (c) 2004 Association of Mizar Users
theorem Th1: :: CATALAN1:1
theorem Th2: :: CATALAN1:2
theorem Th3: :: CATALAN1:3
theorem Th4: :: CATALAN1:4
theorem :: CATALAN1:5
theorem Th6: :: CATALAN1:6
theorem Th7: :: CATALAN1:7
:: deftheorem defines Catalan CATALAN1:def 1 :
theorem Th8: :: CATALAN1:8
theorem Th9: :: CATALAN1:9
theorem :: CATALAN1:10
theorem Th11: :: CATALAN1:11
theorem Th12: :: CATALAN1:12
theorem Th13: :: CATALAN1:13
theorem Th14: :: CATALAN1:14
theorem Th15: :: CATALAN1:15
theorem Th16: :: CATALAN1:16
theorem :: CATALAN1:17
theorem Th18: :: CATALAN1:18
theorem Th19: :: CATALAN1:19
theorem Th20: :: CATALAN1:20
theorem :: CATALAN1:21