diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-12-16 17:23:33 +0100 |
|---|---|---|
| committer |  Maxime Dénès <mail@maximedenes.fr> | 2017-03-22 16:29:33 +0100 |
| commit | d2061bd8cd2d809d6e5a849dd150e9e0d74331fc (patch) | |
| tree | ae840147edccf890fa3531487619adc87c2631c4 /theories/Reals | |
| parent | 8b73fd7c6ce423f8c8a2594e90200f2407795d52 (diff) | |
Remove duplicate lemmas.
Diffstat (limited to 'theories/Reals')
0 files changed, 0 insertions, 0 deletions