Thu, 23 Jul 2009 21:12:57 +0200 | chaieb | More theorems about pochhammer | changeset | files |
Wed, 15 Jul 2009 16:31:44 +0200 | chaieb | Moved theorem binomial_symmetric from Formal_Power_Series to here | changeset | files |
Wed, 15 Jul 2009 06:14:25 +0200 | chaieb | Moved important theorems from FPS_Examples to FPS --- they are not | changeset | files |