diff options
| author | Michael Soegtrop | 2020-07-09 19:45:28 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2020-07-09 19:45:28 +0200 |
| commit | 9b4d89c5376e8018ca94bc3bd877f99f1d03ec74 (patch) | |
| tree | 712f9a40899b87fd49b3107724b7595edf96c10c /lib/objFile.ml | |
| parent | 577ec77f17a872d6bc36073ceeb3cf582fcf01c4 (diff) | |
| parent | 50b0b8f2f8c02c4866a0ee0e88835232d5535c2d (diff) | |
Merge PR #12542: Defined arbitrary base logarithms (Rlog) and added natural lemmas to the Real library
Reviewed-by: MSoegtropIMC
Ack-by: silene
Diffstat (limited to 'lib/objFile.ml')
0 files changed, 0 insertions, 0 deletions