Timeline for How do I write this Theorem with quantifiers?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 24 at 3:35 | history | became hot network question | |||
| Apr 23 at 20:38 | vote | accept | Dr. J | ||
| Apr 23 at 20:23 | answer | added | ultralegend5385 | timeline score: 5 | |
| Apr 23 at 20:06 | comment | added | Sammy Black | The theorem is written with quantifiers! The phrases "for all" and "there exists" are quantifiers. | |
| Apr 23 at 19:49 | history | edited | Sammy Black | CC BY-SA 4.0 |
improved formatting, added tag
|
| Apr 23 at 19:33 | history | asked | Dr. J | CC BY-SA 4.0 |