diff options
| author | Cyril Cohen | 2020-05-30 05:29:37 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-06-06 01:43:35 +0200 |
| commit | efed1800a4f2eaa942704ab8bebc60d9a3ac8dfd (patch) | |
| tree | b4e1d699b276ad442fa872b0eaf759bf50cbe693 /Dockerfile.make | |
| parent | 19d189999527434c51b1dabe9d073c673e1fd1cf (diff) | |
General theory of min and max, and use in ssrnum
- min and max can now be used in a partial order (sometimes under preconditions)
- min and max can now be used in a numDomainType (sometimes under preconditions)
Diffstat (limited to 'Dockerfile.make')
0 files changed, 0 insertions, 0 deletions