Timeline for What is the difference between refl and rfl in Lean 3?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 14, 2022 at 22:11 | comment | added | Andrej Bauer | I can't seem to edit it. I can only edit some tags but not others. Or maybe I don't know how to use the internet. | |
| Feb 14, 2022 at 13:14 | comment | added | Andrej Bauer |
I changed the reflexivity tag to equality. Presumably there is no point in splitting equality into reflexivity, symmetry, transitivity, etc.
|
|
| Feb 14, 2022 at 13:12 | history | edited | Andrej Bauer |
edited tags
|
|
| Feb 12, 2022 at 22:06 | answer | added | Eric | timeline score: 9 | |
| Feb 12, 2022 at 12:48 | history | edited | taylor.2317 | CC BY-SA 4.0 |
edited title
|
| Feb 12, 2022 at 12:36 | history | edited | taylor.2317 | CC BY-SA 4.0 |
added 13 characters in body
|
| Feb 12, 2022 at 10:37 | vote | accept | Jia Ming جيا ميڠ | ||
| Feb 12, 2022 at 10:33 | answer | added | It'sNotALie. | timeline score: 18 | |
| Feb 12, 2022 at 9:34 | history | asked | Jia Ming جيا ميڠ | CC BY-SA 4.0 |