diff options
| author | Maxime Dénès | 2018-02-28 10:13:50 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-02-28 10:13:50 +0100 |
| commit | e8c2d7a2f269eaa0c3b75d75680893f6af5dd29e (patch) | |
| tree | a24c4143057fc72ec18e354792ebf0a9661edd5b /dev/base_include | |
| parent | 758df421b3e65ac349882e3d6c97448687eca098 (diff) | |
| parent | dc71c8b582552dcc1ea40af8a2894f7f0ec84597 (diff) | |
Merge PR #1026: changed statements of Rpower_lt and Rle_power and added lemmas
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions