Wed, 22 Aug 2018 12:32:58 +0000 | haftmann | more uniform parameter naming convention for choose and gchoose | changeset | files |
Wed, 22 Aug 2018 12:32:58 +0000 | haftmann | slightly generalized theorems | changeset | files |
Wed, 22 Aug 2018 12:32:58 +0000 | haftmann | tuned code setup | changeset | files |