Timeline for Compilation of strategies to show that some constant is irrational
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 27, 2022 at 7:24 | comment | added | Dror Speiser | From all the implicit usages, it's most explicit in Cartwright's proof, appearing on Wikipedia: en.m.wikipedia.org/wiki/… | |
| Nov 27, 2022 at 4:23 | comment | added | Pinteco | Can you provide a link where this lemma is used? | |
| Nov 26, 2022 at 20:57 | history | edited | Dror Speiser | CC BY-SA 4.0 |
added 3 characters in body
|
| Nov 26, 2022 at 20:28 | history | answered | Dror Speiser | CC BY-SA 4.0 |