diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-04-27 21:30:53 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-04-27 21:30:53 +0200 |
| commit | 0a255f51809e8d29a7239bfbd9fe57a8b2b41705 (patch) | |
| tree | 9f9b9515dc1bdddf17ab8746a7a061d23d6b15ca /vernac/lemmas.mli | |
| parent | cc12397b32785b06ed892e8ad420cfe253842141 (diff) | |
| parent | f5c81ac1bcae7c40d5e89229647c06c97b5ddc85 (diff) | |
Merge PR#414: Some more theory on powerRZ.
Diffstat (limited to 'vernac/lemmas.mli')
0 files changed, 0 insertions, 0 deletions