Timeline for MO answer formalized in Lean
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 7 at 3:37 | history | edited | Bjørn Kjos-Hanssen | CC BY-SA 4.0 |
added 2070 characters in body
|
| May 6 at 1:06 | comment | added | Bjørn Kjos-Hanssen | (I wasn't able to do the #1 most popular answer because I don't know how to work with vector subspace dimension (submodule rank) in Lean.) | |
| May 5 at 16:28 | history | edited | Bjørn Kjos-Hanssen | CC BY-SA 4.0 |
added 4 characters in body
|
| May 5 at 3:06 | history | edited | Bjørn Kjos-Hanssen | CC BY-SA 4.0 |
deleted 61 characters in body
|
| May 5 at 2:19 | history | edited | Bjørn Kjos-Hanssen | CC BY-SA 4.0 |
added 1606 characters in body
|
| May 5 at 1:43 | history | edited | Bjørn Kjos-Hanssen | CC BY-SA 4.0 |
added 528 characters in body
|
| May 5 at 1:15 | history | answered | Bjørn Kjos-Hanssen | CC BY-SA 4.0 |