diff options
| author | Cyril Cohen | 2020-08-16 20:59:11 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-16 20:59:11 +0200 |
| commit | ecf208b1d15aba433f3f11cc87b17a1b48c4d8df (patch) | |
| tree | 0d8e528124a17c39e0b8e656477abf891741cd03 /.github | |
| parent | 43ac266e1e99cad08a9c291b99efcc7eddc244e7 (diff) | |
| parent | a79d4d915f64d0eb8d2da4a0ba4d29048b94306b (diff) | |
Merge pull request #517 from thery/minn
Extra theorems about subn minn and maxn
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions