diff options
| author | Cyril Cohen | 2019-04-01 19:55:26 +0200 |
|---|---|---|
| committer | GitHub | 2019-04-01 19:55:26 +0200 |
| commit | 9209c4414b22ead6b5a70d6f2bfb460b1ad26728 (patch) | |
| tree | b48d2702f2e5427683854d8f97b29c6948dad0d2 /plugin | |
| parent | 850862dc6475bd48524a294651400df4b5b7ecf3 (diff) | |
| parent | 0f785cb80a555ce4109255819becb953a968cc8c (diff) | |
Merge pull request #294 from math-comp/dependent-positive-finfun
Dependent positive finfun
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions