diff options
| author | Cyril Cohen | 2021-01-18 16:49:38 +0100 |
|---|---|---|
| committer | GitHub | 2021-01-18 16:49:38 +0100 |
| commit | 35fc6b309a5cc87570255addfd135cb4650ebb43 (patch) | |
| tree | fb83c066a0b3e1b97ec8d62f17ae93d13b74adf2 /mathcomp/fingroup/perm.v | |
| parent | 68fab9412b287079164aab5f3eda71fcd65df8cc (diff) | |
| parent | 5e809e16078d4659cd2dbb6c1bbc754fa6d3b6ee (diff) | |
Merge pull request #693 from affeldt-aist/interval_20210114
itv_bound comparison with -oo/+oo
Diffstat (limited to 'mathcomp/fingroup/perm.v')
0 files changed, 0 insertions, 0 deletions