diff options
| author | coqbot-app[bot] | 2020-12-11 11:11:33 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-11 11:11:33 +0000 |
| commit | d40ef2467b8e84115b027200aff61becdd899f57 (patch) | |
| tree | 8657ecd2e2b8b94ae37c08f2454e3ff125e4d3bd /kernel | |
| parent | 1918f19cb43d6d4313276b167af38316b27879f2 (diff) | |
| parent | 29d2ffb5f5569efe8614efa30be560efc72a34f5 (diff) | |
Merge PR #13582: Generalize exp_ineq1 and add exp_ineq1_le, which holds forall Reals.
Reviewed-by: thery
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions