diff options
| author | Reynald Affeldt | 2021-01-14 13:50:52 +0900 |
|---|---|---|
| committer | Reynald Affeldt | 2021-01-14 16:49:39 +0900 |
| commit | 5e809e16078d4659cd2dbb6c1bbc754fa6d3b6ee (patch) | |
| tree | 1bb7ffc64f68d489e4542522ea2c321be7a335c9 /mathcomp/ssreflect | |
| parent | aaffb229c5e0a74c4d52a94dd67197c099c4d89b (diff) | |
itv_bound comparison with -oo/+oo
Diffstat (limited to 'mathcomp/ssreflect')
0 files changed, 0 insertions, 0 deletions